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