Our paper The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions was accepted at the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013). The paper introduces our extended play-out algorithm, which is implemented in ScenarioTools and  also supports scenario-based environment assumption.