the model of TinyOS using BIP
the technical report tos-bip-report-ch
This work is based on the previous work as follow, please refer to that paper for more details
Basu A, Mounier L, Poulhies M, et al. Using BIP for modeling and verification of networked systems--a case study on tinyos-based networks[C]//Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007). IEEE, 2007: 257-260.