Návrh modelu testovania komunikačného subsystému bezpečnostne-kritických riadiacich systémov - Špendla, Lukáš, 1984- (STU v Bratislave MTF, 2012)