@InProceedings{MMBC:hylink2011,
  author    = {Karthik Manamcheri and Sayan Mitra and Stanley Bak and Marco Caccamo},
  title     = {A step towards verification and synthesis from Simulink/Stateflow models},
  booktitle = {Hybrid Systems: Computation and Control (HSCC 2011)},
  year      = {2011},
  abstract  = {This paper describes a toolkit for synthesizing hybrid supervisory control system starting from Simulink/Stateflow. The toolkit provides a systematic strategy for translating Simulink/Stateflow models to hybrid automata and a discrete abstraction-based algorithm for synthesizing supervisory controllers.},
  biburl    = {http://users.crhc.illinois.edu/mitras/research.html},
  keywords  = {Verification, Cyberphysical systems},
  notes     = {Tool paper},
  owner     = {mitras},
  pdfurl    = {research/2011/HyLink2011.pdf},
  timestamp = {2010.10.27},
  url       = {http://dl.acm.org/citation.cfm?id=1967701.1967749&coll=DL&dl=GUIDE&CFID=99228380&CFTOKEN=13940715},
}