The Engineering of Reliable Embedded Systems (Second Edition)