Simulátor nedeterministických výpočtových zariadení - Barlík, Jozef (STU v Bratislave FIIT, 2007)