Smyth, S. et al. 2018. Model Extraction of Legacy C Code in SCCharts. Electronic Communications of the EASST. 74, (Jun. 2018). DOI:https://doi.org/10.14279/tuj.eceasst.74.1044.