Automatická syntéza funkčných testov VLSI obvodov - Ördög, Norbert (STU v Bratislave FEI, 2003)