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