1. Blakstad, H.C.: Revising rules and reviving knowledge. Adapting hierarchical and risk based approaches to safety rule modifications in the Norwegian Railway System. Fakultet for samfunnsvitenskap og teknologiledelse (2006)
2. Bézivin, J., Gerbé, O.: Towards a precise definition of the OMG/MDA framework. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 273–280. IEEE (2001)
3. Abrial, J.-R.: The B-book - Assigning Programs to Meanings, pp. I–XXXIV, 1–779. Cambridge University Press (1996). ISBN 978-0-521-02175-3
4. Lecture Notes in Computer Science;N Benaissa,2016
5. Bonvoisin, D.: 25 Years Of Formal Methods At Ratp. International Railway Safety Council (IRSC2016), Paris, 2–7 October (2016)