Smyth, Steven, Stephan Lenga, and Reinhard von Hanxleden. “Model Extraction of Legacy C Code in SCCharts”. Electronic Communications of the EASST 74 (June 5, 2018). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/2210.