Hybrid languages and temporal logic (full version (1998)

by P Blackburn, M Tzakova