Bishop, Peter, and Robin Bloomfield. Methodology for Safety Case Development In Sixth Safety-critical Systems Symposium, Birmingham., 1998.