Madelaine, Eric, Xudong Qin, Min Zhang, and Simon Bliudze. 2019. “Using SMT Engine to Generate Symbolic Automata”. Electronic Communications of the EASST 76 (May). https://doi.org/10.14279/tuj.eceasst.76.1103.