Scot Anderson Peter Z. Revesz Verifying the Incorrectness of Programs and Automata. 1-13 2005 conf/sara/2005 SARA http://dx.doi.org/10.1007/11527862_1 db/conf/sara/sara2005.html#AndersonR05