Marco Daniele Fausto Giunchiglia Moshe Y. Vardi Improved Automata Generation for Linear Temporal Logic. 249-260 http://dx.doi.org/10.1007/3-540-48683-6_23 1999 conf/cav/1999 CAV db/conf/cav/cav99.html#DanieleGV99