Amir Pnueli Aleksandr Zaks On the Merits of Temporal Testers. 172-195 2008 25 Years of Model Checking http://dx.doi.org/10.1007/978-3-540-69850-0_11 conf/spin/5000 db/conf/spin/lncs5000.html#PnueliZ08