Safety critical computer systems - Storey, Neil