TY - RPRT TI - A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331 AU - Konstantin Dmitriev AU - Shanza Ali Zafar AU - Kevin Schmiechen AU - Yi Lai AU - Micheal Saleab AU - Pranav Nagarajan AU - Daniel Dollinger AU - Markus Hochstrasser AU - Stephan Myschik AU - Florian Holzapfel PY - 2020 UR - https://arxiv.org/abs/2010.06505 ID - 2010.06505 ER -