Florentin Ipate Bounded Sequence Testing from Non-deterministic Finite State Machines. 55-70 2006 conf/pts/2006 TestCom http://dx.doi.org/10.1007/11754008_4 db/conf/pts/testcom2006.html#Ipate06