...
D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, Synchronous-reactive Semantic Modelling and Verification for Function Block Networks, in IEEE Transactions on Industrial Informatics
Friedrich Gretz, Franz-Josef Grosch, Blech, Imperative Synchronous Programming!, 2018 Forum on Specification & Design Languages (FDL 2018)
Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet, Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore, 2018 Forum on Specification & Design Languages (FDL 2018)
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien DeAntoni, Time in SCCharts, 2018 Forum on Specification & Design Languages (FDL 2018)
Master Empfehlung
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.
...