Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (2 : 1992 : Nimwegen) ^{Konferenz oder Veranstaltung}