An Abstract Approach to Describing Scenario-Based Specifications | IEEE Conference Publication | IEEE Xplore