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. (Programming and Software Engineering ;, 2017)