Wolfgang Haberl, Markus Herrmannsdörfer, Jan Birke, Uwe Baumgarten. Model-Level Debugging of Embedded Real-Time Systems. In 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. pages 1887-1894, IEEE Computer Society, 2010. [doi]
Abstract is missing.