Blackburn, P., & Tzakova, M.(1998). Hybrid languages and temporal logic (MPI-I-1998-2-006). Saarbrücken: Max-Planck-Institut für Informatik.