Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan  Trail-directed model checking.  Electronic Notes in Theoretical Computer Science, 55 (3).   ISSN 1571-0661      (2001)