Allan I. McInnes. Using CSP to Model and Analyze TinyOS Applications. In 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. pages 79-88, IEEE Computer Society, 2009. [doi]