Biplab K. Sikdar Arijit Sarkar Samir Roy Debesh K. Das Synthesis of Testable Finite State Machine Through Decomposition. 398-403 2005 conf/ats/2005 Asian Test Symposium http://doi.ieeecomputersociety.org/10.1109/ATS.2005.102 db/conf/ats/ats2005.html#SikdarSRD05