Heinrich Rust: Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. SAFECOMP 1998: 32-44