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