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)