Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways | Publicación