1. Railway Applications - Communications, Signalling and Processing Systems - Software for Railway Control and Protection Systems, Standard Cenelec EN 50128 (1999)
2. Functional safety of electrical/electronic/programmable electronic safety-related systems, Standard IEC-61508, International Electrotechnical Commission (1998)
3. Maarek, M., Prevosto, V.: FoCDoC: the documentation system of FoC. In: Proceedings of Calculemus (September 2003)
4. Lecture Notes in Computer Science;R. Bonichon,2007
5. Delahaye, D., Etienne, J.F., Donzeau-Gouge, V.: Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 121–124 (2008)