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