Programový systém na detekciu a elimináciu statických hazardov - Hlávek, Ľubomír (STU v Bratislave FIIT, 2005)