FIEDOR, J. Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
eVSKP id 25622