Bridging MBSE and MBSA through an Interoperability Framework. - Rolf Miemba Makita; Martin Kubic; François Trousset; Gregory Zacharewicz (ISM, 2025)