A Systematic Elaboration of Safety Requirements in the Avionic Domain. - Antoaneta Kondeva; Martin Wassmuth; Andreas Mitschke (SAFECOMP Workshops, 2012)