Computer safety, reliability, and security SAFECOMP 2018 workshops ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018 : proceedings - Gallina, Barbara (Springer, 2018)