Formal Methods for Safety and Security - Nanda, Manju (Springer Singapore, 2018)