Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time.

Jean-Franois Raskin, Pierre-Yves Schobbens

Browse the full TACAS paper archive.