Bayesian belief networks for safety assessment of computer-based systems