STRAKA, Martin. Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí. Online, Disertační práce, vedoucí Zdeněk Kotásek. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů. Dostupné z: http://hdl.handle.net/11012/63228. [cit. 2025-04-08].