1. L. Ericsson, “More than 50 billion connected devices,” Ericsson White Paper, 2011.
2. N. Accettura, L. Grieco, G. Boggia, and P. Camarda, “Performance analysis of the rpl routing protocol,” in Mechatronics (ICM), 2011 IEEE International Conference on, pp. 767-772, IEEE, 2011.
3. R. Gerth, “A concise language reference for promela,” hnp://spinroot. comJspin/Man/Quick. html, 1997.
4. G. J. Holzmann, “Design and Validation of Computer Protocols Prentice Hall,” New Jersey, 1991.
5. The model checker spin;Holzmann;IEEE Transactions on software engineering,1997