Computer safety, reliability, and security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings - Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann 1974- (Lecture Notes in Computer Science, 2017)