@article{444771,
      recid = {444771},
      author = {Broy, Manfred. and Leuxner, Christian. and Hoare, A. G.},
      title = {Software and systems safety specification and verification  / [electronic resource] :},
      publisher = {IOS Press,},
      address = {Amsterdam, The Netherlands :},
      pages = {ix, 285 p. :},
      year = {2011},
      url = {http://library.usi.edu/record/444771},
}