JUNEK, Martin. Metody specifikace kyberfyzikálních systémů. Online, Diplomová práce, vedoucí Branislav Lacko. Brno: Vysoké učení technické v Brně. Fakulta strojního inženýrství. Ústav automatizace a informatiky, 2021. Dostupné z: http://hdl.handle.net/11012/197434. [cit. 2025-04-08].