@article{661,
  author = {Abhishek Dubey and Wu Xianbin and Su Hang and John Koo},
  title = {Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach},
  year = {2005},
  journal = {Lecture Notes in Computer Science},
  volume = {3707},
  pages = {114--128},
  month = {October},
  language = {eng},
}