Will Archer, Philip Levis, John Regehr. Interface contracts for TinyOS. In Tarek F. Abdelzaher, Leonidas J. Guibas, Matt Welsh, editors, Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007. pages 158-165, ACM, 2007. [doi]
Abstract is missing.