Shinya Umeno: Event order abstraction for parametric real-time system verification. EMSOFT 2008: 1-10