B. Haverkort, J. Katoen, and L. Thiele. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
B. Haverkort, J. Katoen, and L. Thiele. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
B. Haverkort, R. Khayari, and R. Sadre. Computer Performance Evaluation / TOOLS, volume 2794 of Lecture Notes in Computer Science, page 273-290. Springer, (2003)