Iain Bate, Philippa Conmy, John A. McDermid. Generating evidence for certification of modern processors for use in safety-critical systems. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 125-134, IEEE Computer Society, 2000. [doi]