Heinrich Rust. Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 32-44, Springer, 1998. [doi]
Abstract is missing.