@article{CSIS_2020_17_1_a14,
     author = {Mounia Elqortobi and Warda El-Khouly and Amine Rahj and Jamal Bentahar and Rachida Dssouli},
     title = {Verification and {Testing} of {Safety-Critical} {Airborne} {Systems:} a {Model-based} {Methodology}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/}
}