Assessment of a Formal Requirements Modeling Approach on a Transportation System. - Steve Jeffrey Tueno Fotso; Régine Laleau; Marc Frappier; Amel Mammar; Francois Thibodeau; Mama Nsangou Mouchili (ICFEM, 2019)