Metric and layered temporal logic for time granularity door A. Montanari