Safety-critical systems : current issues, techniques and standards /
Redmill, Felix,1944-
Anderson, T.,1947-
London : Chapman & Hall,
1993.