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.