@inproceedings(AzizSSB96,
 author       = "{A. Aziz} and {K. Sanwal} and {V. Singhal} and {R. K. Brayton}",
 year         = "1996",
 title        = "Verifying Continuous-Time {M}arkov Chains",
 booktitle    = "CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification",
 volume       = "1102",
 publisher    = "Springer Verlag LNCS",
 address      = "New Brunswick, NJ, USA",
 pages        = "269--276",
 doi          = "10.1007/3-540-61474-5\_75",
)
@article(marsan1987petri,
 author       = "M. Ajmone Marsan and G. Chiola",
 year         = "1987",
 title        = "{On Petri nets with deterministic and exponentially distributed firing times}",
 journal      = "Advances in Petri Nets 1987",
 pages        = "132--145",
 doi          = "10.1007/3-540-18086-9\_23",
)
@inproceedings(aljazzar:08,
 author       = "H. Aljazzar and S. Leue",
 year         = "2008",
 title        = "{Debugging of Dependability Models Using Interactive Visualization of Counterexamples}",
 booktitle    = "QEST '08: Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems",
 publisher    = "IEEE Computer Science Press",
 pages        = "189--198",
 doi          = "10.1109/QEST.2008.40",
)
@inproceedings(AljazzarL09a,
 author       = "Husain Aljazzar and Manuel Fischer and Lars Grunske and Matthias Kuntz and Florian Leitner-Fischer and Stefan Leue",
 year         = "2009",
 title        = "Safety Analysis of an Airbag System Using Probabilistic {FMEA} and Probabilistic Counterexamples",
 booktitle    = "QEST '09: Proceedings of the Sixth International Conference on Quantitative Evaluation of Systems",
 publisher    = "IEEE Computer Society",
 address      = "Los Alamitos, CA, USA",
 pages        = "299--308",
 doi          = "10.1109/QEST.2009.8",
)
@article(AljazzarL09b,
 author       = "Husain Aljazzar and Stefan Leue",
 year         = "2009",
 title        = "Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking",
 journal      = "IEEE Transactions on Software Engineering",
 doi          = "10.1109/TSE.2009.57",
)
@article(AzizSSB00,
 author       = "Adnan Aziz and Kumud Sanwal and Vigyan Singhal and Robert Brayton",
 year         = "2000",
 title        = "Model-Checking Continuous-Time {Markov} Chains",
 journal      = "ACM Trans. Comput. Logic",
 volume       = "1",
 number       = "1",
 pages        = "162--170",
 doi          = "10.1145/343369.343402",
)
@article(BaierHHK03,
 author       = "Christel Baier and Boudewijn Haverkort and Holger Hermanns and Joost-Pieter Katoen",
 year         = "2003",
 title        = "Model-Checking Algorithms for Continuous-Time {Markov} Chains",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "29",
 number       = "7",
 doi          = "10.1109/TSE.2003.1205180",
)
@article(bernardi-dependability,
 author       = "S. Bernardi and J. Merseguer and D.C. Petriu",
 year         = "2009",
 title        = "{A dependability profile within MARTE}",
 journal      = "Software and Systems Modeling",
 pages        = "1--24",
 doi          = "10.1007/s10270-009-0128-1",
)
@inproceedings(boudali:08b,
 author       = "H. Boudali and P. Crouzen and B.R. Haverkort and M. Kuntz and M.I.A. Stoelinga",
 year         = "2008",
 title        = "{Architectural Dependability Modelling with Arcade}",
 booktitle    = "{Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks}",
 pages        = "512--521",
 doi          = "10.1109/DSN.2008.4630122",
)
@article(emerson:86,
 author       = "E. M. Clarke and E. A. Emerson and A. P. Sistla",
 year         = "1986",
 title        = "{Automatic verification of finite-state concurrent systems using temporal logic specifications}",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "8",
 number       = "2",
 pages        = "244--263",
 doi          = "10.1145/5397.5399",
)
@inproceedings(1368094,
 author       = "Lars Grunske",
 year         = "2008",
 title        = "Specification patterns for probabilistic quality properties",
 booktitle    = "ICSE '08: Proceedings of the 30th international conference on Software engineering",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "31--40",
 doi          = "10.1145/1368088.1368094",
)
@inproceedings(Grunske07,
 author       = "Lars Grunske and Robert Colvin and Kirsten Winter",
 year         = "2007",
 title        = "Probabilistic Model-Checking Support for FMEA",
 booktitle    = "QEST '07: Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "119--128",
 doi          = "10.1109/QEST.2007.34",
)
@article(halpern2005causes,
 author       = "J.Y. Halpern and J. Pearl",
 year         = "2005",
 title        = "{Causes and explanations: A structural-model approach. Part I: Causes}",
 journal      = "The British journal for the philosophy of science",
 volume       = "56",
 number       = "4",
 pages        = "843-–887",
 doi          = "10.1093/bjps/axi147",
)
@inproceedings(HintonKNP06,
 author       = "A. Hinton and M. Kwiatkowska and G. Norman and D. Parker",
 year         = "2006",
 title        = "{PRISM}: A Tool for Automatic Verification of Probabilistic Systems",
 booktitle    = "TACAS '06: Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
 series       = "Lecture Notes in Computer Science",
 publisher    = "Springer",
 pages        = "441--444",
 doi          = "10.1007/11691372\_29",
)
@misc(msc,
 author       = "{ITU-TS recommendation Z.120}",
 year         = "1996",
 title        = "Message Sequence Chart (MSC)",
)
@phdthesis(jansenPHD03,
 author       = "David Nicolaas Jansen",
 year         = "2003",
 title        = "Extensions of statecharts : with probability, time, and stochastic timing",
 school       = "University of Twente",
 url          = "http://doc.utwente.nl/58230/",
)
@book(kulkarni1995modeling,
 author       = "V.G. Kulkarni",
 year         = "1995",
 title        = "{Modeling and analysis of stochastic systems}",
 publisher    = "Chapman \& Hall/CRC",
)
@techreport(kuntzLeiLeu11,
 author       = "Matthias Kuntz and Florian Leitner-Fischer and Stefan Leue",
 year         = "2011",
 title        = "From Probabilistic Counterexamples via Causality to Fault Trees",
 type         = "Technical Report",
 number       = "soft-11-02",
 institution  = "Chair for Software Engineering, University of Konstanz",
 note         = "\write \rebib { url = "http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-02.pdf",}",
)
@article(Lam78,
 author       = "Leslie Lamport",
 year         = "1978",
 title        = "Time, clocks, and the ordering of events in a distributed system",
 journal      = "Commun. ACM",
 volume       = "21",
 pages        = "558--565",
 doi          = "10.1145/359545.359563",
)
@conference(latella1towards,
 author       = "D. Latella and I. Majzik and M. Massink",
 year         = "1999",
 title        = "{Towards a formal operational semantics of UML statechart diagrams}",
 booktitle    = "IFIP TC6/WG6",
 volume       = "1",
 organization = "Citeseer",
 pages        = "331--347",
)
@mastersthesis(mscflf,
 author       = "Florian Leitner-Fischer",
 year         = "2010",
 title        = "Quantitative Safety Analysis of UML Models",
 school       = "University of Konstanz",
 url          = "http://kops.ub.uni-konstanz.de/volltexte/2010/12520/",
)
@article(majzik2003stochastic,
 author       = "I. Majzik and A. Pataricza and A. Bondavalli",
 year         = "2003",
 title        = "{Stochastic dependability analysis of system architecture based on UML models}",
 journal      = "Architecting dependable systems",
 pages        = "219--244",
 doi          = "10.1007/3-540-45177-3\_10",
)
@misc(xmi,
 author       = "{Object Management Group}",
 year         = "2007",
 title        = "{XML Metadata Interchange (XMI), v2.1.1}",
 howpublished = "http://www.omg.org/technology/documents/formal/xmi.htm",
)
@misc(marte,
 author       = "{Object Management Group}",
 year         = "2008",
 title        = "{UML Profile for Modeling and Analysis of Real Time Embedded Systems}",
 howpublished = "http://www.omgmarte.org/",
)
@misc(ocl,
 author       = "{Object Management Group}",
 year         = "2010",
 title        = "{Object Constraint Language (OCL), v2.2}",
 howpublished = "http://www.omg.org/spec/OCL/2.2/",
)
@misc(sysmlspec,
 author       = "{Object Management Group}",
 year         = "2010",
 title        = "{SysML. Specification v1.2}",
 howpublished = "http://www.sysml.org",
)
@misc(umlspec,
 author       = "{Object Management Group}",
 year         = "2010",
 title        = "{Unified Modeling Language. Specification v2.3}",
 howpublished = "http://www.uml.org",
)
@manual(nrc:81,
 organization = "{U.S. Nuclear Regulatory Commission}",
 year         = "1981",
 title        = "{Fault Tree Handbook}",
 note         = "NUREG-0492",
)