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