Formal methods for safety and security case studies for aerospace applications - Nanda, Manju; Jeppu, Yogananda (Springer Nature Singapore, 2018)