SÝKORA, Ondřej. Aplikace pro formální testování PLC programu. Online, Bakalářská práce, vedoucí Jakub Arm. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. Ústav automatizace a měřicí techniky, 2022. Dostupné z: http://hdl.handle.net/11012/205762. [cit. 2025-04-28].