Enhancing Model-Based System Architecting Through Formalized Decision Management. - Josua Höfgen; Birgit Vogel-Heuser; Alejandra Vicaria; François Pouzolz; Christian Kurzhals (CASE, 2024)