Computer safety, reliability, and security SAFECOMP 2017 workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS. Trento, Italy, September 12, 2017 : proceedings - Tonetta, Stefano (Lecture notes in computer science, 2017)