Visualization of Digital Systems Models - Hyben, Martin, 1989-; Jančiga, Tomáš, 1989-; Kardoš, Martin, 1989-; Maron, Ľubomír, 1988-; Süll, Zsolt, 1989-