Programový systém so zvýšenou spoľahlivosťou na báze triplexu - Bugár, Filip (2024)