The way to go: Multi-level temporal logics.