Kathi Fisler Moshe Y. Vardi Bisimulation Minimization and Symbolic Model Checking. 39-78 2002 21 Formal Methods in System Design 1 db/journals/fmsd/fmsd21.html#FislerV02