@article{777820,
      author = {Zhan, Naijun, and Wang, Shuling, and Zhao, Hengjun,},
      url = {http://library.usi.edu/record/777820},
      title = {Formal verification of Simulink/Stateflow diagrams : a  deductive approach /},
      recid = {777820},
      pages = {1 online resource.},
}