Formal Methods I - Analysis and Specification
: Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.
Management and Human Factors
: Operator Errors and Their Causes.
Ferdinand J. Dafelmair
: Model and Implementation of a Secure SW-Development Process for Mission Critical Software.
Formal Methods II - Languages and Verification
Formal Methods III - Petri Nets
: Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.
: Safety Verification of Software Using Structured Petri Nets.
, Jeff Joyce
: Refinement of Safety-Related Hazards into Verifiable Code Assertions.