Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?