Modularity by Design for Safety-Critical Software Systems - Drießen, Thomas (Verfasser); Bauer, Bernhard (Akademischer Betreuer) (Universität Augsburg, 2019)