E. Madelaine, X. Qin, M. Zhang, and S. Bliudze, “Using SMT Engine to Generate Symbolic Automata”, eceasst, vol. 76, May 2019.