Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings - Guiochet, Jérémie; Tonetta, Stefano; Bitsch, Friedemann (Springer Nature Switzerland, 2023)