A Systematic Elaboration of Safety Requirements in the Avionic Domain.

Antoaneta Kondeva, Martin Wassmuth, Andreas Mitschke

Browse the full SAFECOMP paper archive.