Z. Daw, R. Cleaveland, and M. Vetter, “Integrating model checking and UML based model-driven development for embedded systems”, eceasst, vol. 66, Feb. 2014.