@inproceedings(aloha,
 author       = "Norman Abramson",
 year         = "1970",
 title        = "THE ALOHA SYSTEM: another alternative for computer communications",
 booktitle    = "Proceedings of the November 17-19, 1970, fall joint computer conference",
 series       = "AFIPS '70 (Fall)",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "281--285",
 doi          = "10.1145/1478462.1478502",
)
@inproceedings(BBBCDL10,
 author       = "A.~Basu and S.~Bensalem and M.~Bozga and B.~Caillaud and B.~Delahaye and A.~Legay",
 year         = "2010",
 title        = "Statistical Abstraction and Model-Checking of Large Heterogeneous Systems",
 booktitle    = "FORTE",
 series       = "LNCS",
 volume       = "6117",
 publisher    = "Springer",
 pages        = "32--46",
 doi          = "10.1007/978-3-642-13464-7\_4",
)
@proceedings(BJKLP05,
 editor       = "M.~Broy and B.~Jonsson and J-P. Katoen and M.~Leucker and A.~Pretschner",
 year         = "2005",
 title        = "Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004",
 series       = "Lecture Notes in Computer Science",
 volume       = "3472",
 publisher    = "Springer",
 doi          = "10.1007/b137241",
)
@article(BCMDH92,
 author       = "J.~R. Burch and E.~M. Clarke and K.~L. McMillan and D.~L. Dill and L.~J. Hwang",
 year         = "1992",
 title        = "Symbolic model checking: 10$^{20}$ States and beyond",
 journal      = "Information and Computation",
 volume       = "98",
 number       = "2",
 pages        = "142--170",
 doi          = "10.1016/0890-5401(92)90017-A",
)
@inproceedings(CDL08,
 author       = "E.~M. Clarke and A.~Donz\'e and A.~Legay",
 year         = "2008",
 title        = "Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator",
 booktitle    = "Proc. of 3rd Haifa Verification Conference (HVC)",
 series       = "LNCS",
 volume       = "5394",
 publisher    = "Springer",
 pages        = "149--163",
 doi          = "10.1007/978-3-642-01702-5\_16",
)
@inproceedings(CFLHJL08,
 author       = "Edmund~M. Clarke and James~R. Faeder and Christopher~James Langmead and Leonard~A. Harris and Sumit~Kumar Jha and Axel Legay",
 year         = "2008",
 title        = "Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway",
 editor       = "Monika Heiner and Adelinde Uhrmacher",
 booktitle    = "Proceedings of the 6th International Conference on Computational Methods in Systems Biology (CMSB)",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "231--250",
 doi          = "10.1007/978-3-540-88562-7\_18",
)
@inproceedings(uppaal_formats,
 author       = "Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\IeC {\v c}ionis and Danny~B\IeC {\o }gsted Poulsen and Jonas~Van Vliet and Zheng Wang",
 year         = "2011",
 title        = "Statistical Model Checking for Networks of Priced Timed Automata",
 editor       = "Uli Fahrenberg and Stavros Tripakis",
 booktitle    = "9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)",
 series       = "LNCS",
 volume       = "6919",
 publisher    = "Springer",
 address      = "Aalborg, Denmark",
 pages        = "80--96",
 doi          = "10.1007/978-3-642-24310-3",
)
@inproceedings(uppaal_cav,
 author       = "Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\IeC {\v c}ionis and Zheng Wang",
 year         = "2011",
 title        = "Time for Statistical Model Checking of real-time systems",
 editor       = "Ganesh Gopalakrishnan and Shaz Qadeer",
 booktitle    = "23rd International Conference on Computer Aided Verification (CAV)",
 series       = "LNCS",
 volume       = "6806",
 publisher    = "Springer",
 address      = "Snowbird, UT, USA",
 pages        = "349--355",
 doi          = "10.1007/978-3-642-22110-1",
)
@incollection(FHM2007,
 author       = "Ansgar Fehnker and Lodewijk van Hoesel and Angelika Mader",
 year         = "2007",
 title        = "Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks",
 editor       = "Jim Davies and Jeremy Gibbons",
 booktitle    = "Integrated Formal Methods",
 series       = "LNCS",
 volume       = "4591",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "253--272",
 doi          = "10.1007/978-3-540-73210-5\_14",
)
@inproceedings(GS05,
 author       = "R.~Grosu and S.~A. Smolka",
 year         = "2005",
 title        = "Monte Carlo Model Checking",
 booktitle    = "Proc. of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
 series       = "LNCS",
 volume       = "3440",
 publisher    = "Springer",
 pages        = "271--286",
 doi          = "10.1007/978-3-540-31980-1\_18",
)
@incollection(HLMP04,
 author       = "Thomas H\IeC {\'e}rault and Richard Lassaigne and Fr\IeC {\'e}d\IeC {\'e}ric Magniette and Sylvain Peyronnet",
 year         = "2004",
 title        = "Approximate Probabilistic Model Checking",
 editor       = "Bernhard Steffen and Giorgio Levi",
 booktitle    = "Verification, Model Checking, and Abstract Interpretation",
 series       = "LNCS",
 volume       = "2937",
 publisher    = "Springer",
 pages        = "307--329",
 doi          = "10.1007/978-3-540-24622-0\_8",
)
@inproceedings(JKOSZ07,
 author       = "D.~N. Jansen and J-P Katoen and M.Oldenkamp and M.~Stoelinga and I.~S. Zapreev",
 year         = "2007",
 title        = "How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison",
 booktitle    = "HVC",
 series       = "LNCS",
 volume       = "4899",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-77966-7\_9",
)
@inproceedings(JCLLPZ09,
 author       = "Sumit~Kumar Jha and Edmund~M. Clarke and Christopher~James Langmead and Axel Legay and Andr{\'e} Platzer and Paolo Zuliani",
 year         = "2009",
 title        = "A Bayesian Approach to Model Checking Biological Systems",
 booktitle    = "CMSB",
 series       = "LNCS",
 volume       = "5688",
 publisher    = "Springer",
 pages        = "218--234",
 doi          = "10.1007/978-3-642-03845-7\_15",
)
@phdthesis(McMillan93,
 author       = "Kenneth~L. McMillan",
 year         = "1993",
 title        = "Symbolic Model Checking",
 school       = "Carnegie Mellon University",
)
@inproceedings(SVA04,
 author       = "Koushik Sen and Mahesh Viswanathan and Gul Agha",
 year         = "2004",
 title        = "Statistical Model Checking of Black-Box Probabilistic Systems",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "3114",
 publisher    = "Springer",
 pages        = "202--215",
 doi          = "10.1007/978-3-540-27813-9\_16",
)
@misc(UPPAAL,
 title        = "The UPPAAL Tool",
 url          = "http://www.uppaal.com/",
)
@book(Wal04,
 author       = "Abraham Wald",
 year         = "2004",
 title        = "Sequential Analysis",
 publisher    = "Courier Dover Publications",
)
@inproceedings(YPD94,
 author       = "Wang Yi and Paul Pettersson and Mats Daniels",
 year         = "1994",
 title        = "Automatic Verification of Real-Time Communicating Systems by Constraint-Solving",
 editor       = "Dieter Hogrefe and Stefan Leue",
 booktitle    = "Proceedings of the 7th International Conference on Formal Description Techniques",
 publisher    = "North--Holland",
 address      = "London, UK",
 pages        = "223--238",
 url          = "http://dl.acm.org/citation.cfm?id=646213.681364",
)
@inproceedings(SLURM,
 author       = "Andy~B. Yoo and Morris~A. Jette and Mark Grondona",
 year         = "2003",
 title        = "SLURM: Simple Linux Utility for Resource Management",
 editor       = "Dror~G. Feitelson and Larry Rudolph and Uwe Schwiegelshohn",
 booktitle    = "Job Scheduling Strategies for Parallel Processing, 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers",
 series       = "LNCS",
 volume       = "2862",
 publisher    = "Springer",
 pages        = "44--60",
 doi          = "10.1007/10968987\_3",
)
@phdthesis(You05a,
 author       = "H{\r a}kan L.~S. Younes",
 year         = "2005",
 title        = "Verification and Planning for Stochastic Processes with Asynchronous Events",
 school       = "Carnegie Mellon University",
)
@inproceedings(You05c,
 author       = "H{\r a}kan L.~S. Younes",
 year         = "2005",
 title        = "Ymer: A Statistical Model Checker",
 booktitle    = "Proc. of 11th Int. Conference on Computer Aided Verification (CAV)",
 series       = "LNCS",
 volume       = "3576",
 publisher    = "Springer",
 pages        = "429--433",
 doi          = "10.1007/11513988\_43",
)
@article(YKNP06,
 author       = "H{\r a}kan L.~S. Younes and Marta~Z. Kwiatkowska and Gethin Norman and David Parker",
 year         = "2006",
 title        = "Numerical vs. statistical probabilistic model checking",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "8",
 number       = "3",
 pages        = "216--228",
 doi          = "10.1007/s10009-005-0187-8",
)