Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat. Evaluating the Quality of Models Extracted from Embedded Real-Time Software. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 577-585, IEEE Computer Society, 2007. [doi]
Abstract is missing.