Smyth, Steven, et al. “Model Extraction of Legacy C Code in SCCharts”. Electronic Communications of the EASST, vol. 74, June 2018, doi:10.14279/tuj.eceasst.74.1044.