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