[1] B. R. Haverkort, H. Hermanns, and J. P. Katoen, “The use of model checking techniques for quantitative dependability evaluation,” In IEEE Symposium on Reliable Distributed Systems, ISBN:0-7695-0543-0, pp. 228–238, 2000.
[2] B. B′erard, M. Bidoit, A. Finkel, and F. Laroussinie, “Systems and software verification: Model checking techniques and tools,” Springer-Verlag, New York, ISBN: 3-540-41523-8.L., pp. 190, 1999.
[3] G. J. Holzmann, “Design and validation of computer protocols,” ISBN: 0-135-39925-4, Prentice Hall, New Jersey, pp. 512, 1990.
[4] G. J. Holzmann, “The SPIN model checker: Primer and reference manual,” Addison Wesley, ISBN 978-0-321- 22862-8, pp. 608, 2003.
[5] Lamport, “The temporal logic of actions,” ACM Transactions on Programming Languages Systems, Vol. 16, No. 3, pp. 872–923, 1994.
[6] M. Kamel and S. Leue, “VIP: A visual editor and compiler for v-Promela. Tools and Algorithms for the Construction and Analysis of Systems,” Springer Berlin, Heidelberg, doi: 10.1007/3-540-46419-0, pp. 471–486, January 2000.
[7] S. Gupta and M. Dave, “Real time approach for data placement in wireless sensor networks,” International Journal of Electronic Circuits System, Vol. 2, No. 3, pp. 132–139, 2008.
[8] I. F. Akyildiz and I. H. Kasimoglu, “Wireless sensor and actor networks: Research challenges,” Ad Hoc Networks, Vol. 2, No. 4, pp. 351–367, 2004.
[9] M. G. Gouda and Y. R. Choi, “A state-based model of sensor protocols, Principles of distributed systems,” doi: 10.1007/11795490, ISBN: 978-3-540-36321-7, Springer Berlin, Heidelberg, 2007.
[10] Hill, J., R. Szewczyk , A. Woo, S. Hollar, D. Culler and K. Pister, “System architecture directions for networked sensors,” ISSN: 0362-1340, ACM SIGPLAN, Vol. 35, No. 11, pp. 93–104.
[11] W. B. Heinzelman, A. P. Chandrakasan, and H. Bala- krishnan, “An application-specific protocol architecture for wireless microsensor networks,” IEEE Transaction on Wireless Communications, Vol. 1, pp. 660–670, 2002.
[12] S. Gamwarige and E. Kulasekere, “Optimization of cluster head rotation in energy constrained wireless sensor networks,” IFIP International Conference on Wireless & Optical Communications Networks, Singapore, doi: 10.1109/ WOCN.2007.4284155, pp. 1–5, July 2007.
[13] M. Ben-Ari, “Development environments for spin and erigone,” http://stwww.weizmann.ac.il/g-cs/benari/jspin/.
[14] T. Rappaport, “Wireless communications: Principles & practice,” Prentice-Hall, 2nd Edition, ISBN: 0130422320, pp. 736, 2001.