Mihalis Yannakakis Testing and Checking of Finite State Systems. 14 2002 conf/latin/2002 LATIN http://link.springer.de/link/service/series/0558/bibs/2286/22860014.htm db/conf/latin/latin2002.html#Yannakakis02