Daw, Z., Cleaveland, R., & Vetter, M. (2014). Integrating model checking and UML based model-driven development for embedded systems.
Electronic Communications of the EASST
,
66
. https://doi.org/10.14279/tuj.eceasst.66.888