Skavhaug, Amund2022-03-022022-03-022016978-3-319-45479-5978-3-319-45480-1https://publica.fraunhofer.de/handle/publica/160485Computer safety, reliability, and security. SAFECOMP 2016