Vladimir Castro Alves A. Ribeiro Antunes Meryem Marzouki A Pragmatic, Systematic And Flexible Synthesis For Testability Methodology. 263-268 1996 conf/ats/1996 Asian Test Symposium http://doi.ieeecomputersociety.org/10.1109/ATS.1996.555169 db/conf/ats/ats1996.html#AlvesAM96