Eric G. Mercer

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK

Alan J. Hu, Frank Piessens, Franz Wotawa, 2007, SEFM.

Modeling Complex Air Traffic Management Systems

Franco Raimondi, Neha Rungta, Andrew Wallace, 2016, 2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE).