Koornneef, Floor2022-03-022022-03-022015978-3-319-24254-5978-3-319-24255-2https://publica.fraunhofer.de/handle/publica/158567Computer Safety, Reliability, and Security. 34th International Conference, SAFECOMP 2015. Proceedings