Modular model-based development of safety-critical flight control software - Hochstrasser, Markus Tobias (2020)