1. An Improvement of McMillan's Unfolding Algorithm;Esparza;Form. Methods Syst. Des.,2002
2. Implementing LTL model checking with net unfoldings;Esparza,2001
3. Distributed Monitoring of Concurrent and Asynchronous Systems;Fabre;J. Discrete Event Systems,2005
4. Fast LTL to Büchi automata translation;Gastin,2001
5. Sahika Genc and Stéphane Lafortune. Predictability in discrete-event systems under partial observation. In SAFEPROCESS'06, 2006.