Engineering secure and dependable software systems - Pretschner, Alexander. (IOS Press,)