Title: Design and verification of microprocessor systems for high-assurance applications
Subjects: Programmable controllers, Testing, Design and construction