Carlsson, J. and Cicchetti, A. 2020. Continuous model-based development and lightweight model consistency checking. Center for Model-Based Cyber-Physical Product Development. 21, 13 (Jul. 2020), 21.