1. Software certification for safety-critical systems: A status report;Kornecki,2008
2. Design dimensions for software certification: A grounded analysis;Ferreira,2019
3. Integrating safety certification into model-based testing of safety-critical systems;Gannous,2019
4. Generating qualifiable avionics software: An experience report (e);Wölfl,2015
5. Data Management in Certified Avionics Systems;Wölfl,2018