Bondavalli, Andrea2022-03-022022-03-022014978-3-319-10556-7978-3-319-10557-4https://publica.fraunhofer.de/handle/publica/157202Computer safety, reliability, and security. SAFECOMP 2014 Workshops