Kvantitatívne hodnotenie integrity bezpečnosti elektronických systémov súvisiacich s bezpečnosťou / Karol Rástočný, Jozef Balák . Žilina :  Žilinská univerzita , 2020 . 159 s . ISBN 978-80-554-1646-5 . [2, z toho požičaných 0]