Greenyer, J.; Brenner, C.; Panzica La Manna, V. The ScenarioTools Play-Out of Modal Sequence Diagram Specifications With Environment Assumptions. eceasst 2013, 58.