A Hybrid Projection Temporal Logic for Hybrid Systems