sur 14
Engineering Secure and Dependable Software Systems — Peter Müller, Alexander Pretschner