1. Antoni, M. (2009a). Formal validation method and tools for French computerized railway interlocking systems. International Journal of Railway, 2(3), 99–106.
2. Antoni, M. (2009b). Formal validation method for computerized railway interlocking systems. In International Conference on Computers Industrial Engineering, CIE 2009, pp. 1532–1541.
3. Antoni, M. (2009c). Validation d’automatismes ferroviaires de sécurité à base de réseaux de Petri. Ph.D. thesis. Braunschweig, Allemagne: Technischen Universität Carolo-Wilhelmina zu Braunschweig.
4. Antoni, M. (2012a). Formal validation method and tools for computerized interlocking system. In FM Industry Day, pp. 1–44.
5. Antoni, M. (2012b). Méthode de validation formelle d’un poste d’aiguillage informatique. Recherche Transports Sécurité, 28(2), 101–118.