1. Berry G, Gonthier G (1992) The Esterel synchronous programming language: design, semantics, implementation. Sci Comput Programm 19(2):87–152
2. Caspi P, Pilaud D, Halbwachs N, Plaice JA (1987) LUSTRE: a declarative language for real-time programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on principles of programming languages, POPL ’87, pp 178–188
3. Abrial J-R, Lee MKO, Neilson DS, Scharbach PN, Ib Holm Sørensen (1991) The B-method. In VDM ’91 formal software development methods, pp 398–405. Springer, Berlin
4. Baudin P, Filliâtre JC, Hubert T, Marche C, Monate B, Moy Y, Prevosto V (2012) ACSL: ANSI/ISO C specification language
5. Lamport L (2002) Specifying systems: The TLA+ language and tools for hardware and software engineers. Addison-Wesley Inc, Longman Publishing Co., Boston, MA