Dependability of critical computer systems. Vol. 2 : Guidelines produced by the European workshop on industrial computer, 1989 - Redmill, Felix J. (Elsevier Applied Science, 1989)