Engineering Secure Software and Systems - Mathias Payer, Awais Rashid, Jose M. Such (Springer, 2018)