The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 , IEC 61511 and Related Guidance 4th Edition By: David J Smith, Kenneth G L Simpson