Partial-order Reduction Techniques for Real-time Model Checking. - Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 001 (Formal Aspects Comput., 1998)