Casimiro, A.2022-03-022022-03-022020978-3-030-54549-9978-3-030-54548-2978-3-030-54550-5https://publica.fraunhofer.de/handle/publica/165975Computer Safety, Reliability, and Security. 39th International Conference, SAFECOMP 2020. Proceedings