Simulátor nedeterministických výpočtových zariadení - Porubčan, Zdenko, 1984- (STU v Bratislave FIIT, 2007)