The RESCUE Approach - Towards Compositional Hardware/Software Co-verification | IEEE Conference Publication | IEEE Xplore