Synthesis and Traceability of Scenario-Based Executable Models | IEEE Conference Publication | IEEE Xplore