Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report.
Aram Hovsepyan, Dimitri Van Landuyt, Steven Op de beeck, Sam Michiels, Wouter Joosen, Gustavo Rangel, Javier Fernndez Briones, Jan Depauw
Browse the full MODELS paper archive.