Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands