Casimiro, António2022-03-022022-03-022020978-3-030-55582-5978-3-030-55583-2https://publica.fraunhofer.de/handle/publica/165958Computer Safety, Reliability, and Security. Proceedings