Engineering Safe and Secure Software Systems by C. Warren Axelrod