Smyth, S.; Lenga, S.; von Hanxleden, R. Model Extraction of Legacy C Code in SCCharts. eceasst 2018, 74.