The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. - Wilson, Stephen P.; McDermid, John A.; Kirkham, P. M.; Fenelon, Peter (1996)