Carlsson J, Cicchetti A. Continuous model-based development and lightweight model consistency checking. MODPROD [Internet]. 2020 Jul. 10 [cited 2024 Jul. 3];21(13):21. Available from: https://wcc.ep.liu.se/index.php/MODPROD/article/view/119