Formal Methods for Safety and Security. 1st ed. 2018 - Nanda, Manju (Springer Singapore, 2020)