Ahmed Bouajjani Oded Maler Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings 5643 2009 http://dx.doi.org/10.1007/978-3-642-02658-4 978-3-642-02657-7 CAV Lecture Notes in Computer Science Springer db/conf/cav/cav2009.html