PETRUŠKA, Zdenko. UVM verifikační prostředí pro systém DMA Medusa. Online, Diplomová práce, vedoucí Lukáš Kekely. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů, 2023. Dostupné z: http://hdl.handle.net/11012/211919. [cit. 2025-04-05].