1. Conjoining specifications;Abadi;ACM Transactions on Programming Languages and Systems,1995
2. Bengtsson, J., Hallberg, J., Hunstad, A., Lundholm, K., 2009. Tests of methods for information security assessment. Tech. Re FOI-R-2901-SE. Swedish Defence Research Agency.
3. A state-of-the-art review of FMEA/FMECA;Bouti;International Journal of Reliability, Quality and Safety Engineering,1994
4. Bayesian networks without tears: making Bayesian networks more accessible to the probabilistically unsophisticated;Charniak;AI Magazine,1991
5. Dahl, H.E.I., Hogganvik, I., Stølen, K., 2007. Structured semantics for the CORAS security risk modelling language. Tech. Rep. A970. SINTEF ICT.