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