Engineering Safe and Secure Software Systems - Axelrod (IEEE, 2012)