Title: Safety-Critical Systems : Problems, Process and Practice
Subjects: Industrial safety, Automatic control