Madelaine, E.; Qin, X.; Zhang, M.; Bliudze, S. Using SMT Engine to Generate Symbolic Automata. eceasst 2019, 76.