@article{424154,
      author = {Karris, Steven T.},
      url = {http://library.usi.edu/record/424154},
      title = {Introduction to stateflow with applications [electronic  resource] /},
      publisher = {Orchard Publications,},
      recid = {424154},
      pages = {iv, (522) p.},
      address = {Fremont, CA :},
      year = {2007},
}