Funkčná bezpečnosť bezpečnostne-kritických programovateľných elektronických systémov : vedecká monografia - Gabriška, Darja (Univerzita sv. Cyrila a Metoda, Fakulta prírodných vied, 2017)