J. R. Abrial (1996):
The B-Book: Assigning programs to meaning..
Cambridge University Press.
J. R. Abrial (2009):
Modeling in Event-B: system and software engineering. To appear.
Cambridge University Press.
Available at http://www.event-b.org.
H. Aljazzar, M. Fischer, L. Grunske, M. Kuntz, F. Leitner & S. Leue (2009):
Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples.
In proceedings of QEST'09,
pp. 299–308,
doi:10.1109/QEST.2009.8.
H. Aljazzar & S. Leue (2009):
Generation of counterexamples for model checking of Markov Decision Processes.
In proceedings of QEST'09,
pp. 197–206,
doi:10.1109/QEST.2009.10.
M. E. Andr"7013es, P. D' Argenio & P. v Rossum (2009):
Significant diagnostic counterexamples in probabilistic model checking.
In proceedings of HVC'08. Lecture Notes in Computer Science 5394,
pp. 129–148,
doi:10.1007/978-3-642-01702-5_15.
M. Butler (2009):
Using Event-B refinement to verify a control strategy.
Technical Report.
University of Southampton,
United Kingdom.
D. Cansell, D. M"7012ery & J. Rehm (2006):
Time constraint patterns for Event-B development.
In proceedings of B'07. Lecture Notes in Computer Science 4355. Springer,
pp. 140–154,
doi:10.1007/11955757_13.
Chemical Industries Association Limited,
London (1987):
CIA.: A guide to hazard and operability studies..
L. Grunske, R. Colvin & K. Winter (2007):
Probabilistic model checking support for FMEA.
In proceedings of QEST'07,
doi:10.1109/QEST.2007.18.
M. Gudemann & F. Ortmeier (2010):
Probabilistic model-based safety analysis.
In proceedings of QAPL'10. EPTCS 28,
pp. 114–128,
doi:10.4204/EPTCS.28.8.
T. Han, J.-P Katoen & B. Damman (2009):
Counterexamples generation in probabilistic model checking.
IEEE Transaction on software engineering 32(2),
pp. 241–257,
doi:10.1007/978-3-540-71209-1_8.
H. Hansson & B. Jonsson (1994):
A logic for reasoning about time and reliability.
Formal Aspects of Computing 6(5),
pp. 512–535,
doi:10.1007/BF01211866.
A. Hinton, M. Kwiatkowska, G. Norman & D. Parker (2006):
PRISM: A tool for automatic verification of probabilistic systems.
In proceedings of TACAS'06. Lecture Notes in Computer Science 3920. Springer,
pp. 441–444,
doi:10.1007/11691372_29.
T. S. Hoang (2005):
Developing a probabilistic B-Method and a supporting toolkit..
University of New South Wales,
Australia.
C. A. R. Hoare (1969):
An axiomatic basis for computer programming.
Communications of the ACM 12(10),
pp. 576–580,
doi:10.1145/357980.358001.
J. Hurd (2002):
Formal verification of probabilistic algorithms..
University of Cambridge,
United Kingdom.
Internatinal Electrotechnical Commission,
Geneva (1985):
IEC International Standard 812: ``Analysis techniques for system reliability: procedures for failure mode and effect analysis.
Internatinal Electrotechnical Commission,
Geneva (1990):
International Standard IEC 1025: Fault Tree Analysis (FTA)..
D.R. Karger (1993):
Global min-cuts in RNC, and other ramifications of a simple min-out algorithm.
In proceedings of fourth annual ACM-SIAM symposium on discrete algorithms. pp 21-30,
Austin, Texas, United States.
M. Kwiatkowska, G. Norman & D. Parker (2007):
Controller dependability analysis by probabilistic model checking.
Control Engineering Practice 15(11),
pp. 1427–1434,
doi:10.1016/j.conengprac.2006.07.003.
A.K. McIver & C.C. Morgan (2004):
Abstraction, refinement and proof for probabilistic systems.
Monographs in Computer Science. Springer Verlag.
U. Ndukwu (2009):
Quantitative safety: linking proof-based verification with model checking for probabilistic systems.
In proceedings of QFM'09. EPTCS 13,
pp. 27–39,
doi:10.4204/EPTCS.13.3.
U. Ndukwu (2010):
Generating counterexamples for quantitative safety specifications in probabilistic B.
Accepted for inclusion in the journal of logic and algebraic programming.
U. Ndukwu & A.K. McIver (2010):
YAGA: Automated analysis of quantitative safety specifications in probabilistic B.
In proceedings of ATVA'10. Lecture Notes in Computer Science 6252. Springer,
pp. 378–386,
doi:10.1007/978-3-642-15643-4_31.
F. Ortmeier, W. Reif & G. Schellhorn (2006):
Deductive cause-consequence analysis (DCCA).
In proceedings of IFAC World Congress, Elsevier.