Total Inconsistency Management and Optimization in Model-Based Engineering of Industrial Automation Systems - Zou, Minjie (Verfasser); Vogel-Heuser, Birgit (Akademischer Betreuer); Wimmer, Manuel (Gutachter) (Universitätsbibliothek der TU München, 2025)