A safety assessment methodology applied to CNS/ATM-based air traffic control system - Vismari, Lúcio Flávio; Camargo Júnior, João Batista (Reliability engineering & system safety, 2011)