@article{411277,
      url = {http://library.usi.edu/record/411277},
      title = {Engineering methods and tools for software safety and  security [electronic resource] /},
      publisher = {IOS Press,},
      recid = {411277},
      pages = {ix, 333 p.},
      address = {Washington, DC :},
      year = {2009},
}