...
Pascal RaymondEmail, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae, Timing analysis enhancement for synchronous program, Real-Time Systems (2015)
Reinhard Budde, Axel Poigné, Karl-Heinz Sylla, synERJY An Object-oriented Synchronous Language, Electronic Notes in Theoretical Computer Science, Volume 153, Issue 4
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.
...