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 December 5, 2025. https://eceasst.org/index.php/eceasst/article/view/2095.