Expressing logical and temporal conditions in simulation environments: TPDL*