1. Abrial, J.-R.: Modeling in Event-B. Cambridge University Press, New York (2010)
2. Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23, 123–154 (1984)
3. ANTLR. http://www.antlr.org
4. Texts in Computer Science;R-J Back,1998
5. Ball, T., Bounimova, E., Kumar, R., Levin, V.: SLAM2: static driver verification with under 4 % false alarms. In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, pp. 35–42. FMCAD Inc. (2010)