Proceedings of the 3rd International Symposium Formal Techniques in Real Time and Fault Tolerant Systems L"ubeck, Germany, 19-23 September 1994