" Engineering methods and tools for software safety and security " [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.