Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways. - Qurat ul ain Ali; Dimitris S. Kolovos; Antonio García-Domínguez; Michael Bennett; Joe Newton; Piotr Zacharzewski (MODELS, 2024)