@inproceedings{tan2013guaranteeing,
  title={Guaranteeing proper-temporal-embedding safety rules in wireless cps: A hybrid formal modeling approach},
  author={Tan, Feng and Wang, Yufei and Wang, Qixin and Bu, Lei and Zheng, Rong and Suri, Neeraj},
  booktitle={2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
  pages={1--12},
  year={2013},
  organization={IEEE}
}