The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application. - Gioacchino A. Mutone; Martin Rothfelder (SAFECOMP, 1993)