-D. M. Gabbay/H. J. Ohlbach (Eds.): Temporal Logic. Proceedings 1994, Springer-Verlag 1994 (Subseries LNAI)