Daw, Zamira, Rance Cleaveland, and Marcus Vetter. “Integrating Model Checking and UML Based Model-Driven Development for Embedded Systems”. Electronic Communications of the EASST 66 (February 10, 2014). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/2095.