Symbolic Visibly Pushdown Automata. - D'Antoni, Loris; Alur, Rajeev (2014)