Design and implementation of a framework for spacecraft flight software. - Bastian Bätz (2020)