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