Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings - Skavhaug, Amund; Guiochet, Jérémie; Schoitsch, Erwin; Bitsch, Friedemann (Springer International Publishing : Imprint: Springer, 2016)