H. Holzmann, и T. Risse. Proceedings of the 14th ACM/IEEE-CS Joint Conference on Digital Libraries, стр. 413--414. Piscataway, NJ, USA, IEEE Press, (2014)
D. Spiliotopoulos, T. Risse, и N. Tahmasebi. On the Move to Meaningful Internet Systems: OTM 2013 Workshops, том 8186 из Lecture Notes in Computer Science, стр. 587--587. Springer, (2013)
T. Fischer, и R. Lenz. Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, стр. 93--94. New York, NY, USA, ACM, (2010)
D. Beyer, T. Henzinger, R. Majumdar, и A. Rybalchenko. Proceedings of 8th Verification, Model Checking, and Abstract Interpretation International Conference (VMCAI 2007), том 4349/2007 из Lecture Notes in Computer Science, Nice, France, Springer, (января 2007)