1. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992). http://www.sciencedirect.com/science/article/pii/016764239290005V
2. Boßelmann, S., Neubauer, J., Naujokat, S., Steffen, B.: Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria, M.G., Solo, A. (eds.) The 2016 International Conference on Security and Management (SAM 2016), Special Track “End-to-end Security and Cybersecurity: from the Hardware to Application”, pp. 145–151. CREA Press (2016)
3. Lecture Notes in Computer Science;O Burkart,1992
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
5. Dachis, A.: Image (2014). https://www.flickr.com/photos/dachis/14569056769/