Slide 1CM30072 Safety-Critical Systems Department of Computer Science 2004 Slide 2 Recommended Book. Safety-Critical Computer Systems By Neil Storey ISBN: 0201427877 Slide…