Maritta Heisel, Carsten Sühl. Formal Specification of Safety-Critical Software with Z and Real-Time CSP. In Erwin Schoitsch, editor, 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996. pages 31-45, Springer, 1996. [doi]
Abstract is missing.