Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings - Touili, Tayssir (Springer-Verlag Berlin Heidelberg, 2010)