Title: Experiences using lightweight formal methods for requirements modeling
Subjects: Fault detection, Formalism, Fault tolerance, Software engineering, Computer aided design