Safety-Critical Computing, a review article
State-based Safety Analyis, a lecture with exercises and solutions.
also
Clinical Neutron Therapy System, web site about a computer-controlled radiation therapy machine.
Revised Oct 2022