Javier Esparza Model Checking Using Net Unfoldings. 151-195 1994 23 Sci. Comput. Program. 2-3 db/journals/scp/scp23.html#Esparza94