Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien (DATE, 2013)

Grounding Synchronous Deterministic Concurrency in Sequential Programming. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (ESOP, 2014)

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2014)

Sequential Constructiveness, SCCharts for Safety-Critical Applications. - Reinhard von Hanxleden; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Loftus-Mercer; Owen O'Brien (Software Engineering & Management, 2015)

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (Acta Informatica, 2015)

Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. - Insa Fuhrmann; David Broman; Reinhard von Hanxleden; Alexander Schulz-Rosengarten (RTNS, 2016)

Time for Reactive System Modeling. - Insa Fuhrmann (2019)