The impact of EFSM composition on functional ATPG