Tvorba simulačnej štúdie v softvérovom nástroji WITNESS - Kollár, Andrej, 1986- (STU v Bratislave SjF, 2012)