J. Greenyer, C. Brenner, and V. Panzica La Manna, “The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions”, ECEASST, vol. 58, Aug. 2013.