A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331. - Konstantin Dmitriev; Shanza Ali Zafar; Kevin Schmiechen; Yi Lai; Micheal Saleab; Pranav Nagarajan; Daniel Dollinger; Markus Hochstrasser; Stephan Myschik; Florian Holzapfel (CoRR, 2020)