by Michael Koiter
The Logical Choice for Safety and Reliability
The Logical Choice for Safety and Reliability Less