Advanced utilization of formal methods in automatic test pattern generation for industrial designsDaniel TilleEsauritoAvvisami
