Koornneef, Floor2022-03-022022-03-022015978-3-319-24248-4978-3-319-24249-1https://publica.fraunhofer.de/handle/publica/158566Computer Safety, Reliability, and Security. SAFECOMP 2015 Workshops: ASSURE, DECSoS, ISSE, RESA4CI, and SASSUR. Proceedings