D. Beyer, T. Henzinger, R. Majumdar, und A. Rybalchenko. Proceedings of 8th Verification, Model Checking, and Abstract Interpretation International Conference (VMCAI 2007), Volume 4349/2007 von Lecture Notes in Computer Science, Nice, France, Springer, (Januar 2007)