Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch (Springer, 2021)