Martijn Hendriks Gerd Behrmann Kim Guldstrand Larsen Peter Niebert Frits W. Vaandrager Adding Symmetry Reduction to Uppaal. 46-59 http://dx.doi.org/10.1007/978-3-540-40903-8_5 2003 conf/formats/2003 FORMATS db/conf/formats/formats2003.html#HendriksBLNV03