Subramanian, S. S.; Lin, P.; Herkersdorf, A.; Wild, T. Bitmaps & Bitmasks: Efficient Tools to Compress Deterministic Automata. JTDE 2018, 6, 41-75.