Mihalis Yannakakis David Lee An Efficient Algorithm for Minimizing Real-Time Transition Systems. 113-136 1997 11 Formal Methods in System Design 2 db/journals/fmsd/fmsd11.html#YannakakisL97