Computer aided verification : 19th International Conference, CAV 2007 : Berlin, Germany , July 3-7, 2007 : proceedings - Damm, Werner; Hermanns, Holger, 1967- (Lecture notes in computer science ;, 2007)