Greenyer, J., Brenner, C. and Panzica La Manna, V. (2013) “The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions”, Electronic Communications of the EASST, 58. doi: 10.14279/tuj.eceasst.58.856.