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