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