Redmill, Felix Safety-Critical Systems: The Convergence of High Tech and Human Factors - New York Springer-Verlag 1996 - 284p. ISBN: 9783540760092