Franco Fummi Cristina Marconcini Graziano Pravadelli An EFSM-based approach for functional ATPG. 197-200 2005 conf/glvlsi/2005 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1057661.1057709 db/conf/glvlsi/glvlsi2005.html#FummiMP05