Computer safety, reliability, and security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings - Skavhaug, Amund 1965- (Springer, 2016)