Henzinger, et al.. A Classification of Symbolic Transition Systems. 16 Jan. 2001.