@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}
}