V. T. Thomas. Ten practical techniques for high assurance systems engineering. In 1st High-Assurance Systems Engineering Workshop (HASE 96), October 22, 1996, Niagara, Canada, Proceedings. pages 55-56, IEEE Computer Society, 1996. [doi]
Abstract is missing.