Davide Bresolin Giuseppe Di Guglielmo Franco Fummi Graziano Pravadelli Tiziano Villa The impact of EFSM composition on functional ATPG. 44-49 2009 DDECS http://dx.doi.org/10.1109/DDECS.2009.5012097 conf/ddecs/2009 db/conf/ddecs/ddecs2009.html#BresolinGFPV09