1. NATO Interoperability Standards and Profiles (2020) ATO standard allied data publication ADatP-34, edition M, version 1
2. Alur R (2015) Principles of cyber-physical systems. MIT Press, Cambridge
3. Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge
4. Basu A, Bensalem S, Bozga M, Bourgos P, Sifakis J (2011) Rigorous system design: the bip approach. In: International doctoral workshop on mathematical and engineering methods in computer science. Springer, Berlin, Heidelberg, New York, S 1–19
5. Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, De Simone R (2003) The synchronous languages 12 years later. Proc IEEE 91(1):64–83