Guiding Component-Based Hardware/Software Co-Verification with Patterns | IEEE Conference Publication | IEEE Xplore