OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. - Manel Fredj; Sven Leger; Abderrahmane Feliachi; Julien Ordioni (RSSRail, 2017)

Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. - Alexandra Halchin; Adja Ndeye Sylla; Sarah Benyagoub; Abderrahmane Feliachi; Yoann Fonteneau; Sven Leger (RSSRail, 2023)