A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. - Elaheh Hosseinkhani; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Lars Bernd Vosteen (DX, 2024)