Michael Fisher Boris Konev Alexei Lisitsa Practical Infinite-State Verification with Temporal Reasoning. 91-100 2005 conf/vissas/2005 VISSAS db/conf/vissas/vissas2005.html#FisherKL05