Sergio Yovine. Model Checking Timed Automata. In Grzegorz Rozenberg, Frits W. Vaandrager, editors, Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Volume 1494 of Lecture Notes in Computer Science, pages 114-152, Springer, 1996.