Simulačný projekt v systéme Witness : Diplomová práca - Palaj, Ján, 1979- (STU v Bratislave MtF KAIA, 2002)