Formal Methods for Safety and Security Case Studies for Aerospace Applications - Nanda, Manju; Nanda, Manju; Jeppu, Yogananda; Jeppu, Yogananda (Springer Singapore : Imprint: Springer, 2018)