@article{articlee5f45f1e,
title   = {A safety assessment methodology applied to CNS/ATM-based air traffic control system},
author = {Vismari, Lúcio Flávio and Camargo Júnior, João Batista},
year = {2011},
doi = {10.1016/j.ress.2011.02.007},
journal   = {Reliability engineering & system safety}
}