@article{447198,
      author = {Utting, Mark. and Legeard, Bruno.},
      url = {http://library.usi.edu/record/447198},
      title = {Practical model-based testing a tools approach /  [electronic resource] :},
      publisher = {Morgan Kaufmann Publishers,},
      recid = {447198},
      pages = {xix, 433 p.},
      address = {San Francisco, CA :},
      year = {2006},
}