Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings / - Langmaack, Hans.; Roever, W.-P. de,; Vytopil, J. (Springer-Verlag,, 1994)