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