Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires. (UML/B modeling for the safety requirements validation of railway operating rules). - Rahma Yangui (2016)