Edmund M. Clarke Flavio Lerda Model Checking: Software and Beyond. 639-649 2007 13 J. UCS 5 http://www.jucs.org/jucs_13_5/model_checking_software_and db/journals/jucs/jucs13.html#ClarkeL07