%0 Generic %A Pasareanu, Corina S., %E Mansouri-Samani, Masoud, %E Brat, Guillaume P., %E Markosian, Lawrence Z., %E Mehlitz, Peter C., %E Visser, Willem C., %E Penix, John J., %E Pressburger, Thomas T., %T Program Model Checking : A Practitioner's Guide. %U http://hdl.handle.net/2060/20080015887