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