Edmund M. Clarke Orna Grumberg Kiyoharu Hamaguchi Another Look at LTL Model Checking. 47-71 1997 10 Formal Methods in System Design 1 db/journals/fmsd/fmsd10.html#ClarkeGH97