@misc(Tunis_center,
 author       = "Hydraulic Resources Republic of Tunisia. Ministry of Agriculture and Fisheries",
 url          = "http://www.onagri.tn/",
)
@inproceedings(Ballarini_06,
 author       = "P. Ballarini and A. Miller",
 year         = "2006",
 title        = "Model Checking Medium Access Control for Sensor Networks",
 booktitle    = "Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "255--262",
 doi          = "10.1109/ISoLA.2006.16",
)
@book(Clarke_00,
 author       = "E.M. Clarke and O. Grumberg and D.A. Peled",
 year         = "2000",
 title        = "Model Checking",
 publisher    = "The MIT Press",
 address      = "Cambridge, MA 02142-1315 USA",
)
@inproceedings(ICFEM_11,
 author       = "M. Elleuch and O. Hasan and S. Tahar and M. Abid",
 year         = "2011",
 title        = "Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks",
 booktitle    = "Formal Methods and Software Engineering",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "388--403",
 doi          = "10.1007/978-3-642-24559-6\_27",
)
@techreport(Elleuch_11,
 author       = "M. Elleuch and O. Hasan and S. Tahar and M. Abid",
 year         = "2011",
 title        = "Formal Probabilistic Analysis of the Coverage-based Random Scheduling Algorithm for WSNs",
 type         = "Technical Report",
 institution  = "CES-ENIS",
 address      = "Sfax University, Tunisia",
 url          = "http://www.ceslab.org/publications/TR_FPARSAWSN_v1.3.pdf",
)
@misc(Turk_center,
 author       = "Republic of Turkey. Ministry of Environment and General Directorate of Forestry Forestry",
 url          = "http://www.ogm.gov.tr/",
)
@incollection(Gordon_89,
 author       = "M. J. C. Gordon",
 year         = "1989",
 title        = "Current Trends in Hardware Verification and Automated Theorem Proving",
 chapter      = "Mechanizing Programming Logics in Higher Order Logic",
 publisher    = "Springer-Verlag",
 address      = "New York, NY, USA",
 pages        = "387--439",
 doi          = "10.1007/978-1-4612-3658-0\_10",
)
@article(Gupta_92,
 author       = "A. Gupta",
 year         = "1992",
 title        = "Formal Hardware Verification Methods: a Survey",
 journal      = "Formal Methods in System Design",
 volume       = "1",
 number       = "2-3",
 pages        = "151--238",
 doi          = "10.1007/BF00121125",
)
@phdthesis(Hasan_08,
 author       = "O. Hasan",
 year         = "2008",
 title        = "Formal Probabilistic Analysis using Theorem Proving",
 school       = "University of Concordia",
 address      = "Montreal, QC, Canada",
 url          = "http://spectrum.library.concordia.ca/975852/",
)
@inproceedings(Hasan4_09,
 author       = "O. Hasan and N. Abbasi and B. Akbarpour and S. Tahar and R. Akbarpour",
 year         = "2009",
 title        = "Formal Reasoning about Expectation Properties for Continuous Random Variables",
 booktitle    = "Formal Methods",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "435--450",
 doi          = "10.1007/978-3-642-05089-3\_28",
)
@article(Hasan2_09,
 author       = "O. Hasan and S. Tahar",
 year         = "2009",
 title        = "Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL",
 journal      = "Automated Reasoning",
 volume       = "42",
 number       = "1",
 pages        = "1--33",
 doi          = "10.1007/s10817-008-9105-6",
)
@article(Hasan3_09,
 author       = "O. Hasan and S. Tahar",
 year         = "2009",
 title        = "Probabilistic Analysis of Wireless Systems Using Theorem Proving",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "242",
 number       = "2",
 pages        = "43--58",
 doi          = "10.1016/j.entcs.2009.06.022",
)
@article(Hasan1_09,
 author       = "O. Hasan and S. Tahar and N. Abbasi",
 year         = "2010",
 title        = "Formal Reliability Analysis Using Theorem Proving",
 journal      = "IEEE Transactions on Computers",
 volume       = "1",
 number       = "2-3",
 pages        = "579--592",
 doi          = "10.1109/TC.2009.165",
)
@phdthesis(Hurd_02,
 author       = "J. Hurd",
 year         = "2002",
 title        = "Formal Verification of Probabilistic Algorithms",
 school       = "University of Cambridge",
 address      = "Cambridge, UK",
 url          = "http://www.gilith.com/research/papers/thesis.pdf",
)
@article(Hurd_03,
 author       = "J. Hurd",
 year         = "2003",
 title        = "Verification of the Miller-Rabin Probabilistic Primality Test",
 journal      = "Logic and Algebraic Programming",
 volume       = "50",
 number       = "1-2",
 pages        = "3--21",
 doi          = "10.1016/S1567-8326(02)00065-6",
)
@inproceedings(Jain_07,
 author       = "S. Jain and S. Srivastava",
 year         = "2007",
 title        = "A Survey and Classification of Distributed Scheduling Algorithms for Sensor Networks",
 booktitle    = "Proceedings of the International Conference on Sensor Technologies and Applications",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "88--93",
 doi          = "10.1109/SENSORCOMM.2007.14",
)
@article(Li_00,
 author       = "Z. Li and S. Nadon and J. Cihlar",
 year         = "2000",
 title        = "Satellite Detection of Canadian Boreal Forest Fires: Development and Application of the Algorithm",
 journal      = "Remote Sensing",
 volume       = "21",
 number       = "16",
 pages        = "3057--3069",
 doi          = "10.1080/01431160050144956",
)
@article(Lin_08,
 author       = "J-W. Lin and Y-T. Chen",
 year         = "2008",
 title        = "Improving the Coverage of Randomized Scheduling in Wireless Sensor Networks",
 journal      = "IEEE Transactions on Wireless Communications",
 volume       = "7",
 number       = "12",
 pages        = "4807--4812",
 doi          = "10.1109/T-WC.2008.070933",
)
@article(Liu_10,
 author       = "C. Liu and K. Wu and Y. Xiao and B. Sun",
 year         = "2006",
 title        = "Random Coverage with Guaranteed Connectivity: Joint Scheduling for Wireless Sensor Networks",
 journal      = "IEEE Transactions on Parallel and Distributed Systems",
 volume       = "17",
 number       = "6",
 pages        = "562--575",
 doi          = "10.1109/TPDS.2006.77",
)
@inproceedings(forest_app,
 author       = "Y. Liu and Y. Gu and G. Chen and Y. Ji and J. Li",
 year         = "2011",
 title        = "A Novel Accurate Forest Fire Detection System Using Wireless Sensor Networks",
 booktitle    = "Proceedings of the International Conference on Mobile Ad-hoc and Sensor Networks",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "52--59",
 doi          = "10.1109/MSN.2011.8",
)
@inproceedings(Mackay_98,
 author       = "D.J.C. MacKay",
 year         = "1998",
 title        = "Introduction to Monte Carlo Methods",
 booktitle    = "Proceedings of the NATO Advanced Study Institute on Learning in Graphical Models",
 publisher    = "Kluwer Academic Publishers",
 address      = "Norwell, MA, USA",
 pages        = "175--204",
 doi          = "10.1007/978-94-011-5014-9\_7",
)
@inproceedings(McIver_06,
 author       = "A.K. McIver and A. Fehnker",
 year         = "2006",
 title        = "Formal Techniques for the Analysis of Wireless Networks",
 booktitle    = "Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "263--270",
 doi          = "10.1109/ISoLA.2006.51",
)
@misc(fire_center,
 author       = "National Fire Danger Rating System (NFDRS)",
 url          = "http://www.wrh.noaa.gov/sew/fire.php/olm/nfdrs.htm",
)
@inproceedings(OGDC_07,
 author       = "P.C. Olveczky and S. Thorvaldsen",
 year         = "2007",
 title        = "Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude",
 booktitle    = "Proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "122--140",
 doi          = "10.1007/978-3-540-72952-5\_8",
)
@book(Rutten_04,
 author       = "J. Rutten and M. Kwaiatkowska and G. Normal and D. Parker",
 year         = "2004",
 title        = "Mathematical Techniques for Analyzing Concurrent and Probabilisitc Systems",
 series       = "CRM Monograph Series",
 publisher    = "American Mathematical Society",
)
@misc(RTurl,
 author       = "The Real-Time website",
 url          = "http://heim.ifi.uio.no/peterol/RealTimeMaude/",
)
@article(Xiao_10,
 author       = "Y. Xiao and H. Chen and K. Wu and B. Sun and Y. Zhang and X. Sun and C. Liu",
 year         = "2010",
 title        = "Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks",
 journal      = "IEEE Transactions on Computers",
 volume       = "59",
 number       = "4",
 pages        = "507--521",
 doi          = "10.1109/TC.2009.170",
)
@inproceedings(Xiao_09,
 author       = "Y. Xiao and Y. Zhang",
 year         = "2009",
 title        = "Surveillance and Tracking System with Collaboration of Robots, Sensor Nodes, and RFID Tags",
 booktitle    = "Proceedings of the 18th International Conference on Computer Communications and Networks",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "1--6",
 doi          = "10.1109/ICCCN.2009.5235295",
)
@article(Xiao_11,
 author       = "Y. Xiao and Y. Zhang",
 year         = "2011",
 title        = "Divide-and Conquer-based Surveillance Framework using Robots, Sensor Nodes, and RFID tags",
 journal      = "Wireless Communications and Mobile Computing",
 volume       = "11",
 number       = "7",
 pages        = "964--979",
 doi          = "10.1002/wcm.863",
)
@article(Yick_08,
 author       = "J. Yick and B. Mukherjee and D. Ghosal",
 year         = "2008",
 title        = "Wireless Sensor Network Survey",
 journal      = "Computer Networks",
 volume       = "52",
 number       = "12",
 pages        = "2292--2330",
 doi          = "10.1016/j.comnet.2008.04.002",
)
@article(Zayani_10,
 author       = "H. Zayani and K. Barkaoui and R. Ben Ayed",
 year         = "2010",
 title        = "Probabilistic Verification and Evaluation of Backoff Procedure of the WSN ECo-MAC Protocol",
 journal      = "Wireless \& Mobile Networks",
 volume       = "2",
 number       = "2",
 pages        = "156--170",
 doi          = "10.5121/ijwmn.2010.2211",
 url          = "http://arxiv.org/abs/1005.2050",
)