Daw, Z.; Cleaveland, R.; Vetter, M. Integrating Model Checking and UML Based Model-Driven Development for Embedded Systems. eceasst 2014, 66.