@article{1459336,
      author = {Nanda, Manju, and Jeppu, Yogananda,},
      url = {http://library.usi.edu/record/1459336},
      title = {Formal methods for safety and security : case studies for  aerospace applications /},
      recid = {1459336},
      pages = {1 online resource (138 pages) :},
}