@inproceedings{ddecs2009,
	Address = {Liberec, Czech Republic},
	Author = {D. Bresolin and G. {Di Guglielmo} and F. Fummi and G. Pravadelli and T. Villa},
	Booktitle = {Proc. of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS09)},
	Month = {April},
	Pages = {44--49},
	Title = {The impact of {EFSM} Composition on Functional {ATPG}},
	Year = {2009}
}