@article(ACHH95,
 author       = "R.~Alur and C.~Courcoubetis and N.~Halbwachs and T.~A. Henzinger and {P.-H.} Ho and X.~Nicollin and A.~Olivero and J.~Sifakis and S.~Yovine",
 year         = "1995",
 title        = "The algorithmic analysis of hybrid systems",
 journal      = "Theoretical Computer Science",
 volume       = "138",
 number       = "1",
 pages        = "3--34",
 doi          = "10.1016/0304-3975(94)00202-T",
)
@inproceedings(WTA01,
 author       = "Rajeev Alur and Salvatore~La Torre and George~J. Pappas",
 year         = "2001",
 title        = "Optimal Paths in Weighted Timed Automata",
 editor       = "Benedetto and Sangiovanni-Vincentelli",
 pages        = "49--62",
 doi          = "10.1007/3-540-45351-2_8",
)
@article(BHHK03,
 author       = "Christel Baier and Boudewijn~R. Haverkort and Holger Hermanns and Joost-Pieter Katoen",
 year         = "2003",
 title        = "Model-Checking Algorithms for Continuous-Time Markov Chains",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "29",
 number       = "6",
 pages        = "524--541",
)
@incollection(DBLP:conf/tacas/BarbotCHKM11,
 author       = "Beno\^{i}t Barbot and Taolue Chen and Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre",
 year         = "2011",
 title        = "Efficient CTMC Model Checking of Linear Real-Time Objectives",
 editor       = "ParoshAziz Abdulla and K.RustanM. Leino",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "6605",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "128--142",
 doi          = "10.1007/978-3-642-19835-9_12",
)
@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",
)
@inproceedings(BCDFLL07,
 author       = "Gerd Behrmann and Agn\`es Cougnard and Alexandre David and Emmanuel Fleury and Kim~G. Larsen and Didier Lime",
 year         = "2007",
 title        = "{UPPAAL-Tiga}: Time for Playing Games!",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "4590",
 publisher    = "Springer",
)
@inproceedings(PTA01,
 author       = "Gerd Behrmann and Ansgar Fehnker and Thomas Hune and Kim~Guldstrand Larsen and Paul Pettersson and Judi Romijn and Frits~W. Vaandrager",
 year         = "2001",
 title        = "Minimum-Cost Reachability for Priced Timed Automata",
 editor       = "Benedetto and Sangiovanni-Vincentelli",
 pages        = "147--161",
 doi          = "10.1007/3-540-45351-2_15",
)
@proceedings(DBLP:conf/hybrid/2001,
 editor       = "Maria Domenica~Di Benedetto and Alberto~L. Sangiovanni-Vincentelli",
 year         = "2001",
 title        = "Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Proceedings",
 series       = "LNCS",
 volume       = "2034",
 publisher    = "Springer",
 doi          = "10.1007/3-540-45351-2",
)
@inproceedings(BFLM10,
 author       = "Patricia Bouyer and Uli Fahrenberg and Kim~G. Larsen and Nicolas Markey",
 year         = "2010",
 title        = "Timed automata with observers under energy constraints",
 booktitle    = "HSCC",
 publisher    = "ACM ACM",
 pages        = "61--70",
 doi          = "10.1145/1755952.1755963",
)
@inproceedings(mitl_2012,
 author       = "Peter Bulychev and Alexandre David and Kim~G. Larsen and Axel Legay and Guangyuan Li and Danny~B{\o }gsted Poulsen and Amelie Stainer",
 year         = "2012",
 title        = "Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic",
 booktitle    = "LPAR-18",
 volume       = "7180",
 pages        = "168--182",
 doi          = "10.1007/978-3-642-28717-6_15",
)
@inproceedings(nash_2012,
 author       = "Peter Bulychev and Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\v {c}ionis",
 year         = "2012",
 title        = "Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach",
 booktitle    = "iWIGP",
 volume       = "78",
 pages        = "1--14",
 doi          = "10.4204/EPTCS.78.1",
)
@inproceedings(nfm_2012,
 author       = "Peter Bulychev and Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\v {c}ionis and Danny~B{\o }gsted Poulsen",
 year         = "2012",
 title        = "Checking \& Distributing Statistical Model Checking",
 booktitle    = "NFM 2012 : Fourth NASA Formal Methods Symposium",
 volume       = "7226",
 pages        = "449--463",
 doi          = "10.1007/978-3-642-28891-3_39",
)
@inproceedings(bdlml11,
 author       = "Peter Bulychev and Alexandre David and Kim~Guldstrand Larsen and Marius Miku\v {c}ionis and Axel Legay",
 year         = "2011",
 title        = "Distributed Parametric and Statistical Model Checking",
 editor       = "Ji\v {r}\IeC {\'\i } Barnat and Keijo Heljanko",
 booktitle    = "Proceedings 10th International Workshop on Parallel and Distributed Methods in Verification",
 series       = "EPTCS",
 publisher    = "arxiv.org",
 pages        = "30--42",
 doi          = "10.4204/EPTCS.72",
)
@inproceedings(CG04,
 author       = "F.~Ciesinski and M.~Gr{\"o}{\ss }er",
 year         = "2004",
 title        = "On Probabilistic Computation Tree Logic",
 booktitle    = "Validation of Stochastic Systems",
 series       = "LNCS, 2925",
 publisher    = "Springer",
 pages        = "147--188",
 doi          = "10.1007/978-3-540-24611-4_5",
)
@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    = "Haifa Verification Days",
 series       = "LNCS",
 volume       = "5394",
 publisher    = "Springer",
 pages        = "149--163",
 doi          = "10.1007/978-3-642-01702-5_16",
)
@article(CDL09,
 author       = "E.~M. Clarke and A.~Donz\'e and A.~Legay",
 year         = "2009",
 title        = "On Simulation-based Probabilistic Model Checking of Mixed-Analog Circuits",
 journal      = "Formal Methods in System Design",
 note         = "To appear",
)
@inproceedings(CFLHJL08,
 author       = "E.~M. Clarke and J.~R. Faeder and C.~James Langmead and L.~A. Harris and S.~K. Jha and A.~Legay",
 year         = "2008",
 title        = "Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway",
 booktitle    = "CMSB",
 series       = "LNCS",
 volume       = "5307",
 publisher    = "Springer",
 pages        = "231--250",
 doi          = "10.1007/978-3-540-88562-7_18",
)
@inproceedings(CZ11,
 author       = "Edmund~M. Clarke and Paolo Zuliani",
 year         = "2011",
 title        = "Statistical Model Checking for Cyber-Physical Systems",
 booktitle    = "ATVA",
 series       = "Lecture Notes in Computer Science",
 volume       = "6996",
 publisher    = "Springer",
 pages        = "1--12",
 doi          = "10.1007/978-3-642-24372-1_1",
)
@article(Clopper34,
 author       = "C.~J. Clopper and E.~S. Pearson",
 year         = "1934",
 title        = "The Use of Confidence or Fiducial Limits Illustrated in the Case of the Binomial",
 journal      = "Biometrika",
 volume       = "26",
 number       = "4",
 pages        = "404--413",
 doi          = "10.1093/biomet/26.4.404",
)
@inproceedings(uppaal_formats,
 author       = "Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\v {c}ionis and Danny~B{\o }gsted Poulsen and Jonas Van~Vliet and Zheng Wang",
 year         = "2011",
 title        = "Statistical model checking for networks of priced timed automata",
 booktitle    = "Proceedings of the 9th international conference on Formal modeling and analysis of timed systems",
 series       = "FORMATS'11",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "80--96",
 doi          = "10.1007/978-3-642-24310-3_7",
)
@inproceedings(dllmpvw11,
 author       = "Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\v {c}ionis and Danny~B{\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    = "Formal Modeling and Analysis of Timed Systems",
 series       = "LNCS",
 volume       = "6919",
 publisher    = "springer",
 pages        = "80--96",
 doi          = "10.1007/978-3-642-24310-3_7",
)
@inproceedings(dllmw11,
 author       = "Alexandre David and Kim~G. Larsen and Axel Legay and Marius Miku\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    = "Computer Aided Verification",
 series       = "Lecture Notes in Computer Science",
 volume       = "6806",
 publisher    = "Springer",
 pages        = "349--355",
 doi          = "10.1007/978-3-642-22110-1_27",
)
@article(DKNP06,
 author       = "Marie Duflot and Marta Kwiatkowska and Gethin Norman and David Parker",
 year         = "2006",
 title        = "A formal analysis of bluetooth device discovery",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "8",
 pages        = "621--632",
 doi          = "10.1007/s10009-006-0014-x",
)
@inproceedings(FJLS11,
 author       = "Uli Fahrenberg and Line Juhl and Kim~G. Larsen and Jir\'{\i } Srba",
 year         = "2011",
 title        = "Energy Games in Multiweighted Automata",
 booktitle    = "ICTAC",
 series       = "Lecture Notes in Computer Science",
 volume       = "6916",
 publisher    = "Springer",
 pages        = "95--115",
 doi          = "10.1007/978-3-642-23283-1_9",
)
@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(HLMP04,
 author       = "Thomas H{\'e}rault and Richard Lassaigne and Fr{\'e}d{\'e}ric Magniette and Sylvain Peyronnet",
 year         = "2004",
 title        = "Approximate Probabilistic Model Checking",
 booktitle    = "VMCAI",
 series       = "LNCS",
 volume       = "2937",
 publisher    = "Springer",
 pages        = "73--84",
 doi          = "10.1007/978-3-540-24622-0_8",
)
@inproceedings(JKOSZ07,
 author       = "D.~N. Jansen and J.~Katoen and M.~Oldenkamp and M.~Stoelinga and I.~S. Zapreev",
 year         = "2008",
 title        = "How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison",
 booktitle    = "Haifa Verification Conference",
 series       = "LNCS",
 volume       = "4899",
 publisher    = "Springer",
 pages        = "69--85",
 doi          = "10.1007/978-3-540-77966-7_9",
)
@article(JLS12,
 author       = "Cyrille J{\'e}gourel and Axel Legay and Sean Sedwards",
 year         = "2012",
 title        = "Cross-entropy optimisation of importance sampling parameters for statistical model checking",
 journal      = "CoRR",
 volume       = "abs/1201.5229",
)
@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",
)
@inproceedings(KNP04,
 author       = "M.~Z. Kwiatkowska and G.~Norman and D.~Parker",
 year         = "2004",
 title        = "PRISM 2.0: A Tool for Probabilistic Model Checking",
 booktitle    = "QEST",
 publisher    = "IEEE",
 pages        = "322--323",
)
@article(firewirePrism,
 author       = "Marta Kwiatkowska and Gethin Norman and Jeremy Sproston",
 year         = "2003",
 title        = "Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol",
 journal      = "Formal Aspects of Computing",
 volume       = "14",
 pages        = "295--318",
 doi          = "10.1007/s001650300007",
)
@inproceedings(MLK10,
 author       = "Oded Maler and Kim~G. Larsen and Bruce~H. Krogh",
 year         = "2010",
 title        = "On Zone-Based Analysis of Duration Probabilistic Automata",
 booktitle    = "INFINITY",
 series       = "EPTCS",
 volume       = "39",
 pages        = "33--46",
)
@inproceedings(MPL11,
 author       = "Jo{\~a}o Martins and Andr{\'e} Platzer and Jo{\~a}o Leite",
 year         = "2011",
 title        = "Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications",
 booktitle    = "ICFEM",
 series       = "Lecture Notes in Computer Science",
 volume       = "6991",
 publisher    = "Springer",
 pages        = "131--146",
)
@article(bluetooth,
 author       = "P.~McDermott-Wells",
 year         = "2005",
 title        = "What is Bluetooth?",
 journal      = "Potentials, IEEE",
 volume       = "23",
 number       = "5",
 pages        = "33 -- 35",
 doi          = "10.1109/MP.2005.1368913",
)
@inproceedings(ODGLP11,
 author       = "Johan Oudinet and Alain Denise and Marie-Claude Gaudel and Richard Lassaigne and Sylvain Peyronnet",
 year         = "2011",
 title        = "Uniform Monte-Carlo Model Checking",
 booktitle    = "FASE",
 series       = "Lecture Notes in Computer Science",
 volume       = "6603",
 publisher    = "Springer",
 pages        = "127--140",
 doi          = "10.1007/978-3-642-19811-3_10",
)
@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 3114",
 publisher    = "Springer",
 pages        = "202--215",
 doi          = "10.1007/978-3-540-27813-9_16",
)
@article(firewireCmp03,
 author       = "Mari\"{e}lle Stoelinga",
 year         = "2003",
 title        = "Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol",
 journal      = "Formal Aspects of Computing",
 volume       = "14",
 pages        = "328--337",
 doi          = "10.1007/s001650300009",
)
@inproceedings(LMAC,
 author       = "L.F.W. {van Hoesel} and P.J.M. {Havinga}",
 year         = "2004",
 title        = "A Lightweight Medium Access Protocol (LMAC) for Wireless Sensor Networks: Reducing Preamble Transmissions and Transceiver State Switches",
 booktitle    = "1st International Workshop on Networked Sensing Systems (INSS",
 publisher    = "Society of Instrument and Control Engineers (SICE)",
 address      = "Tokio, Japan",
 pages        = "205--208",
 url          = "http://doc.utwente.nl/64756/",
)
@book(Wal04,
 author       = "R.~Wald",
 year         = "2004",
 title        = "Sequential Analysis",
 publisher    = "Dove Publisher",
)
@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",
)
@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      = "STTT",
 volume       = "8",
 number       = "3",
 pages        = "216--228",
 doi          = "10.1007/s10009-005-0187-8",
)