@article{775012,
      author = {Esparza, Javier, and Grumberg, Orna, and Sickert,  Salomon,},
      url = {http://library.usi.edu/record/775012},
      title = {Dependable software systems engineering /},
      recid = {775012},
      pages = {1 online resource (296 pages) :},
}