Karen Yorav Orna Grumberg Static Analysis for State-Space Reductions Preserving Temporal Logics. 67-96 2004 25 Formal Methods in System Design 1 http://www.springerlink.com/index/10.1023/B:FORM.0000033963.55470.9e db/journals/fmsd/fmsd25.html#YoravG04