This is the first edition of 'The Engineering of Reliable Embedded Systems': it is released here largely for historical reasons. (Please consider purchasing 'ERES2' instead.) The second edition will be available for purchase here from June 2017.]