J. Carlsson and A. Cicchetti, “Continuous model-based development and lightweight model consistency checking”, MODPROD, vol. 21, no. 13, p. 21, Jul. 2020.