Safety-critical computer systems - Storey, Neil (Prentice-Hall, 1996)