Engineering safe and secure software systems - Axelrod, C. Warren. (Artech House,)