Design and Safety Assessment of Critical Systems (CRC Press, 2010)