Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots. - Joel Greenyer; Daniel Gritzner; Timo Gutjahr; Tim Duente; Stefan Dulle; Falk-David Deppe; Nils Glade; Marius Hilbich; Florian Koenig; Jannis Luennemann; Nils Prenner; Kevin Raetz; et al. (Models@run.time, 2015)

Scenario-based Specification of Car-to-X systems. - Joel Greenyer; Daniel Gritzner; Nils Glade; Timo Gutjahr; Florian König (Software Engineering (Workshops), 2016)

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. - Joel Greenyer; Daniel Gritzner; Timo Gutjahr; Florian König; Nils Glade; Assaf Marron; Guy Katz (Sci. Comput. Program., 2017)