The Safety Critical Systems Handbook : a Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2016 Edition) and Related Guidance Including Machinery and Other Industrial Sections - Smith, David J. (Butterworth-Heinemann, 2020)