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