Doron Peled Patrizio Pelliccione Paola Spoletini Model Checking. 2008 Wiley Encyclopedia of Computer Science and Engineering http://dx.doi.org/10.1002/9780470050118.ecse247 reference/wiley/2008 db/reference/wiley/wiley2008.html#PeledPS08