Assuring safety in air traffic control systems with argumentation and model checking

Full citation

"Assuring safety in air traffic control systems with argumentation and model checking", Sergio Alejandro Gómez and Anca Goron and Adrian Groza and Ioan Alfred Letia, Expert Systems with Applications (ESWA), Vol. 44, pp. 367 - 385, DOI: http://dx.doi.org/10.1016/j.eswa.2015.09.027, 2016.