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