Books — safety-critical systems