Detekcia a animácia dynamických hazardov v logických kombinačných obvodoch - Zatloukal, Michal, 1986- (STU v Bratislave FIIT, 2010)