...
Guillaume Baudart and Timothy Bourke and Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. In Proc. Forum on Specification and Design Languages (FDL ’17), Verona, Italy, 2017.
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
Master Empfehlung
Jan Reese: 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.
...