Massimo Felici Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. 208-221 2005 conf/safecomp/2005 SAFECOMP http://dx.doi.org/10.1007/11563228_16 db/conf/safecomp/safecomp2005.html#Felici05