Sigref- A Symbolic Bisimulation Tool Box. - Ralf Wimmer 001; Marc Herbstritt; Holger Hermanns; Kelley Strampp; Bernd Becker 001 (ATVA, 2006)