Use of modern processors in safety-critical applications. - Bate, Iain; Conmy, Philippa; Kelly, Tim (Computer Journal, 2001)