Shmuel Katz Hillel Miller Saving Space by Fully Exploiting Invisible Transitions. 311-332 1999 14 Formal Methods in System Design 3 db/journals/fmsd/fmsd14.html#KatzM99