Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings - Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann (Springer International Publishing : Imprint: Springer, 2017)