Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK