Observable Semantics for Characterising Consistency Between Heterogeneous Models. - Henriette Färber; Romain Pascual; Terru Stübinger; Mattias Ulbrich (SEFM, 2025)