Testing safety-related software a practical handbook - Gardiner, Stewart 1945- (Springer, 1998)