[B1] Montanari A.,"Metric and Layered Temporal Logic for Time Granularity". ILLC Dissertation Series, 1996-02, Institute for Logic, Language and Computation, University of Amsterdam, September 1996.