Computer Safety, Reliability, and Security: Safecomp 2016 Workshops, Assure, Decsos, Sassur, and Tips, Trondheim, Norway, September 20, 2016, Proceedi (Paperback, 2016)