@article{1481536,
      recid = {1481536},
      author = {Yin, Yongfeng, and Jiang, Bo, and Su, Qingran, and Qiu,  Ruinan, and Guo, Yang and Song, Yi and Yin, Rui},
      title = {Embedded software system testing : automatic testing  solution based on formal method /},
      pages = {1 online resource.},
      note = {"English Version by permission of Beijing Huazhang  Graphics & Information Co. Ltd. (China Machine Press)"  --T.p. verso.},
      url = {http://library.usi.edu/record/1481536},
}