Gallina, B.2022-03-022022-03-022018978-3-319-99130-6978-3-319-99129-0978-3-319-99131-3https://publica.fraunhofer.de/handle/publica/163584Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018