Scenario-based verification for component-based embedded software designs | IEEE Conference Publication | IEEE Xplore