Safety Critical Systems Handbook by David J. Smith & Kenneth G.L. Simpson