Making use of scenarios for validating analysis and design | IEEE Journals & Magazine | IEEE Xplore