Our tool demo paper titled Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools was accepted at MODELS 2016.

Read the paper here.

See our short demo video and artifact download here.