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