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