A classification of symbolic transition systems (2003)

by T A Henzinger, R Majumdar, J-F Raskin
Venue:Proc. STACS 2000, volume 1770 of LNCS