T. E. Daniel, S. N. I. Mount, Robert M. Newman, Elena I. Gaura. "Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.". In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 277-282, IEEE, 2006. [doi]
Abstract is missing.