Greenyer, Joel, Christian Brenner, and Valerio Panzica La Manna. 2013. “The ScenarioTools Play-Out of Modal Sequence Diagram Specifications With Environment Assumptions”. Electronic Communications of the EASST 58 (August). https://doi.org/10.14279/tuj.eceasst.58.856.