tok programu. vnorené systémy. odolnosť proti poruchámĎuríček, Maroš, 1988- Challenges of Cooperative Control-Flow Checking. In: Plzeň : Západočeská univerzita v Plzni, 2013. -- Počítačové architektury a diagnostika 2013 : proceedings; Pracovní seminář pro studenty doktorského studia, Teplá, Česká republika, 9-11 September 2013. -- s.27-32. -- 978-80-261-0270-0.