Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / - Joseph, M. (Springer-Verlag,, 1988)