Engineering methods and tools for software safety and security - Broy, M.,; Sitou, Wassiou.; Hoare, C. A. R. (IOS Press,)