Return to Article Details Model Extraction of Legacy C Code in SCCharts Download Download PDF