1. Power of Deduction: Failure Modes and Effects Analysis for Design;Anleitner,2010
2. Justifying the use of software of uncertain pedigree (SOUP) in safety related applications;Bishop,2001
3. Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method;Boulanger,2014
4. The Essence of Strategic Management;Bowman,1990
5. EN 50129:2003: Railway Applications – Communication, Signalling and Processing Systems-Safety Related Electronic Systems for Signalling;CENELEC,2003