@inproceedings{wu2011logic,
  title={Logic-based programming for wireless sensor-activator networks},
  author={Wu, Yizhi and Rowe, Anthony},
  booktitle={Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems},
  pages={163--173},
  year={2011},
  organization={IEEE Computer Society}
}