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