Event order abstraction for parametric real-time system verification