R B Abernethy, J E Breneman, C H Medlin & G L Reinman (1983):
Weibull Analysis Handbook.
AFWAL-TR 83-2079.
Air Force Wright Aeronautical Laboratories.
Available at https://apps.dtic.mil/dtic/tr/fulltext/u2/a143100.pdf.
Christophe Andrieu, Arnaud Doucet & Roman Holenstein (2010):
Particle Markov chain Monte Carlo methods.
Journal of the Royal Statistical Society: Series B (Statistical Methodology) 72(3),
pp. 269–342,
doi:10.1111/j.1467-9868.2009.00736.x.
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell & Carl Landwehr (2004):
Basic Concepts and Taxonomy of Dependable and Secure Computing.
Technical Report 2004-47.
University of Maryland.
Available at https://drum.lib.umd.edu/bitstream/handle/1903/6459/TR_2004-47.pdf.
Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall & Noah D. Goodman (2019):
Pyro: Deep Universal Probabilistic Programming.
J. Mach. Learn. Res. 20(1),
pp. 973–978,
doi:10.5555/3322706.3322734.
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay & Zheng Wang (2012):
UPPAAL-SMC: Statistical model checking for priced timed automata.
In: QAPL 2012,
Elec. Proc. Theor. Comput. Sci. 85,
pp. 1–16,
doi:10.4204/EPTCS.85.1.
A. W. Burton (2003):
Innovation drivers for electric power-assisted steering.
IEEE Control Systems Magazine 23(6),
pp. 30–39,
doi:10.1109/MCS.2003.1251179.
Bob Carpenter, Andrew Gelman, Matthew D Hoffman, Daniel Lee, Ben Goodrich, Michael Betancourt, Marcus Brubaker, Jiqiang Guo, Peter Li & Allen Riddell (2017):
Stan: A probabilistic programming language.
J. Stat. Softw. 76(1),
doi:10.18637/jss.v076.i01.
Tianqi Chen, Emily Fox & Carlos Guestrin (2014):
Stochastic Gradient Hamiltonian Monte Carlo.
In: Eric P. Xing & Tony Jebara: Proceedings of the 31st International Conference on Machine Learning,
Proceedings of Machine Learning Research 32.
PMLR,
Bejing, China,
pp. 1683–1691.
Joanne Bechta Dugan, Kevin J Sullivan & David Coppit (2000):
Developing a low-cost high-quality software tool for dynamic fault-tree analysis.
IEEE Trans. Reliab. 49(1),
pp. 49–59,
doi:10.1109/24.855536.
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz & Henrik Lönn (2016):
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.
In: FM 2016,
pp. 748–756,
doi:10.1007/978-3-319-48989-6_46.
Bence Graics & Vince Molnár (2018):
Mix-and-Match Composition in the Gamma Framework.
In: 25th Minisymposium, Department of Measurement and Information Systems,
Budapest, Hungary.
David Harel (1987):
Statecharts: A Visual Formalism for Complex Systems.
Sci. Comput. Program. 8(3),
pp. 231–274,
doi:10.1016/0167-6423(87)90035-9.
J. W. Harms (2010):
Revision of MIL-HDBK-217, Reliability Prediction of Electronic Equipment,
doi:10.1109/RAMS.2010.5448046.
Matthew D. Hoffman, David M. Blei, Chong Wang & John Paisley (2013):
Stochastic Variational Inference.
J. Mach. Learn. Res. 14(1),
pp. 1303–1347,
doi:10.5555/2567709.2502622.
Matthew D. Homan & Andrew Gelman (2014):
The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo.
J. Mach. Learn. Res. 15(1),
pp. 1593–1623,
doi:10.5555/2627435.2638586.
ISO/TC 22/SC 32 (2018):
Road vehicles — Functional safety — Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safety-oriented analyses.
ISO 26262-9:2018.
International Organization for Standardization.
Available at https://www.iso.org/standard/51365.html.
Joost-Pieter Katoen (2016):
The Probabilistic Model Checking Landscape.
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,
LICS ’16.
Association for Computing Machinery,
New York, NY, USA,
pp. 31–45,
doi:10.1145/2933575.2934574.
Marta Kwiatkowska, Gethin Norman & David Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In: CAV 2011,
LNCS 6806.
Springer,
pp. 585–591,
doi:10.1007/978-3-642-22110-1_47.
Vince Molnár, Bence Graics, András Vörös, István Majzik & Dániel Varró (2018):
The Gamma Statechart Composition Framework.
In: ICSE 2018.
ACM,
pp. 113–116,
doi:10.1145/3183440.3183489.
Yura N. Perov, Logan Graham, Kostis Gourgoulias, Jonathan G. Richens, Ciarán M. Lee, Adam Baker & Saurabh Johri (2019):
MultiVerse: Causal Reasoning using Importance Sampling in Probabilistic Programming.
ArXiv abs/1910.08091.
Enno Ruijters & Mariëlle Stoelinga (2016):
Better Railway Engineering Through Statistical Model Checking.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques.
Springer,
pp. 151–165,
doi:10.1007/978-3-319-47166-2_10.
Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao & Jianxin Chen (2014):
Formal Verification of Lunar Rover Control Software Using UPPAAL.
In: Cliff Jones, Pekka Pihlajasaari & Jun Sun: FM 2014: Formal Methods.
Springer,
pp. 718–732,
doi:10.1007/978-3-319-06410-9_48.
Masoud Taheriyoun & Saber Moradinejad (2015):
Reliability analysis of a wastewater treatment plant using fault tree analysis and Monte Carlo simulation.
Environmental Monitoring and Assessment 187(1),
pp. 4186,
doi:10.1007/s10661-014-4186-7.
Dustin Tran, Alp Kucukelbir, Adji B Dieng, Maja Rudolph, Dawen Liang & David M Blei (2016):
Edward: A library for probabilistic modeling, inference, and criticism.
arXiv preprint arXiv:1610.09787.
P. Zhang & K. W. Chan (2012):
Reliability Evaluation of Phasor Measurement Unit Using Monte Carlo Dynamic Fault Tree Method.
IEEE Transactions on Smart Grid 3(3),
pp. 1235–1243,
doi:10.1109/TSG.2011.2180937.
Marko Čepin & Borut Mavko (2002):
A dynamic fault tree.
Reliability Engineering & System Safety 75(1),
pp. 83 – 91,
doi:10.1016/S0951-8320(01)00121-1.
eptcs@eptcs.org