1. Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Lecture Notes in Computer Science;DI Almeida Pereira de,2019
3. de Almeida Pereira, D.I., Perin, M., Bon, P., Collart-Dutilleul, S.: A framework for the formal specification of relay-based systems based on a b-method graph specification. Int. J. Comput. Electr. Eng. (IJCEE) 11(1), 11–19 (2019)
4. CENELEC, NF EN 50129: Applications ferroviaires: Systèmes de signalisation, de télécommunication et de traitement - Systèmes électroniques de écurité pour la signalisation, Mai 2003
5. Debbech, S., Bon, P., Collart-Dutilleul, S.: Towards semantic interpretation of goal-oriented safety decisions based on foundational ontology. J. Comput. (JCP) 14(4), 257–267 (2019)