Ananda Basu Laurent Mounier Marc Poulhiès Jacques Pulou Joseph Sifakis Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. 257-260 2007 conf/nca/2007 NCA http://doi.ieeecomputersociety.org/10.1109/NCA.2007.52 db/conf/nca/nca2007.html#BasuMPPS07