Redmill, Felix Safety-Critical Systems: Current Issues, Techniques and Standards - London Chapman & Hall 1993 - 332p. ISBN: 9780412548208