Carlsson, Jan, and Antonio Cicchetti. “Continuous Model-Based Development and Lightweight Model Consistency Checking”. Center for Model-Based Cyber-Physical Product Development 21, no. 13 (July 10, 2020): 21. Accessed March 29, 2024. https://wcc.ep.liu.se/index.php/MODPROD/article/view/119.