Safety-critical computer systems /
Storey, Neil.
Harlow : Addison-Wesley,
1996.