TY - BOOK AU - Axelrod TI - Engineering Safe and Secure Software Systems PB - IEEE UR - https://ieeexplore.ieee.org/servlet/opac?bknumber=9100470 ER -