S. Spinner, S. Kounev, и P. Meier. Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), том 7347 из Lecture Notes in Computer Science (LNCS), стр. 388--397. Berlin, Heidelberg, Springer-Verlag, (июня 2012)
S. Kounev, C. Dutz, и A. Buchmann. Proceedings of the 3rd International Conference on Quantitative Evaluation of SysTems (QEST 2006), Riverside, California, USA, September 11-14, 2006, стр. 115--116. Washington, DC, USA, IEEE Computer Society, (сентября 2006)