Making large-scale automation safe.

Case studies, essays, and working systems from safety-critical platform work.