1. Principles of Model Checking;Baier,2008
2. J. Becker, D. Pfeiffer, M. Räckers, Domain Specific Process Modelling in Public Administrations-The PICTURE-Approach, in: Proceedings Electronic Government-6th International Conference (EGOV 2007), Lecture Notes in Computer Science, vol. 4656, Springer, Berlin et al., 2007, pp. 68–79.
3. Principles of the SPIN Model Checker;Ben-Ari,2008
4. E. Börger, Modeling workflow patterns from first principles, in: Proceedings of the International Conference on Conceptual Modeling (ER’07), Lecture Notes in Computer Science, vol. 4801, Springer, Berlin et al., 2007, pp. 1–20.
5. CADP – Construction and Analysis of Distibuted Processes. (13.06.11).