1. SWEBOK (v.3.0): Guide to Software Engineering Body of Knowledge, P. Bourque and R.E. Fairley, Editors;Bourque,2014
2. Test based safety-critical software reliability estimation using Bayesian method and flow network structure;Yang;Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability,2019
3. Formal verification in hardware design: a survey;Kern;ACM Trans. Des. Autom. Electron. Syst.,1999
4. Method for Performing Diversity and Defense-in-Depth Analyses of Reactor Protection Systems;Preckshot,1994
5. Modelling software design diversity - a review;Littlewood;ACM Computing Surveys,2001