Specification of Conditions for Error Diagnostics. - Christof Efkemann; Tobias Hartmann 002 (SSV, 2008)

Model-Based Testing for the Second Generation of Integrated Modular Avionics. - Christof Efkemann; Jan Peleska 001 (ICST Workshops, 2011)

A Framework for Model-based Testing of Integrated Modular Avionics. - Christof Efkemann (2014)