The Engineering of Reliable Embedded Systems (Ed. 2) | SafeTTy Systems Ltd