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