Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings - Habli, Ibrahim; Bitsch, Friedemann; Sujan, Mark (Springer International Publishing, 2021)