Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten: Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD 2018: 40-49