@inproceedings{ishigooka2016practical,
  title={Practical formal verification for model based development of cyber-physical systems},
  author={Ishigooka, Tasuku and Saissi, Habib and Piper, Thorsten and Winter, Stefan and Suri, Neeraj},
  booktitle={2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES)},
  pages={1--8},
  year={2016},
  organization={IEEE}
}