Guiochet, Jérémie2023-10-042023-10-042023978-3-031-40922-6978-3-031-40923-3978-3-031-40924-0https://publica.fraunhofer.de/handle/publica/45120510.1007/978-3-031-40923-3enComputer Safety, Reliability, and Security. 42nd International Conference, SAFECOMP 2023. Proceedings