...
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
[vergeben] Friedrich Gretz, Franz-Josef Grosch, Blech, Imperative Synchronous Programming!, 2018 Forum on Specification & Design Languages (FDL 2018)
...