Jean-Michel Couvreur Sébastien Grivet Denis Poitrenaud Designing a LTL Model-Checker Based on Unfolding Graphs. 123-145 2000 ICATPN http://link.springer.de/link/service/series/0558/bibs/1825/18250123.htm db/conf/apn/icatpn2000.html#CouvreurGP00