Evaluating the Quality of Models Extracted from Embedded Real-Time Software | IEEE Conference Publication | IEEE Xplore