António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira Computer Safety, Reliability, and Security - Springer Springer 2020 ISBN: 9783030545499 Source: EBOOK