@inproceedings{CTL3:PerCom2012,
  author = {Wei, Hengfeng and Huang, Yu and Cao, Jiannong and Ma, Xiaoxing and Lu, Jian},
  title = {Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context},
  booktitle = {2012 IEEE International Conference on Pervasive Computing and Communications (PerCom)},
  year = {2012},
  pages = {30--38},
  doi = {10.1109/PerCom.2012.6199846},
  url = {https://doi.org/10.1109/PerCom.2012.6199846}
}