The following publications are possibly variants of this publication:
- Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering ApproachSteve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. asm 2018: 262-276 [doi]
- A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standardAmel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. STTT, 22(3):333-347, 2020. [doi]
- An Event-B Model of the Hybrid ERTMS/ETCS Level 3 StandardAmel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. asm 2018: 353-366 [doi]