Smyth, Steven, Stephan Lenga, and Reinhard von Hanxleden. 2018. “Model Extraction of Legacy C Code in SCCharts”. Electronic Communications of the EASST 74 (June). https://doi.org/10.14279/tuj.eceasst.74.1044.