@inproceedings{duggirala2015c2e2,
  title={C2E2: a verification tool for stateflow models},
  author={Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh and Potok, Matthew},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={68--82},
  year={2015},
  organization={Springer Berlin Heidelberg}
}