u Fraunhofer Institute for Experimental Software Engineering (IESE)
(Kaiserslautern, Germany): Department of Security and Safety
u Queen’s University (Kingston, Ontario, Canada): Queen’s Reliable
Software Technology group