S. Smyth, S. Lenga, and R. von Hanxleden, “Model Extraction of Legacy C Code in SCCharts”, ECEASST, vol. 74, Jun. 2018.