Moez Krichen Stavros Tripakis State-Identification Problems for Finite-State Transducers. 148-162 2006 conf/fates/2006 FATES/RV http://dx.doi.org/10.1007/11940197_10 db/conf/fates/fates2006.html#KrichenT06