Mihalis Yannakakis David Lee Testing for Finite State Systems. 29-44 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#YannakakisL98 http://dx.doi.org/10.1007/10703163_3