E. Allen Emerson The Beginning of Model Checking: A Personal Perspective. 27-45 2008 25 Years of Model Checking http://dx.doi.org/10.1007/978-3-540-69850-0_2 conf/spin/5000 db/conf/spin/lncs5000.html#Emerson08