Verification of Scenario-Based Safety Requirement Specification on Components Composition | IEEE Conference Publication | IEEE Xplore