Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking - Tkačov, Peter, 1987- (STU v Bratislave FIIT, 2008)