GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. - Yih-Kuen Tsay; Yu-Fang Chen 001; Ming-Hsien Tsai 001; Kang-Nien Wu; Wen-Chin Chan (TACAS, 2007)

GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. - Yih-Kuen Tsay; Yu-Fang Chen 001; Ming-Hsien Tsai 001; Wen-Chin Chan; Chi-Jian Luo (TACAS, 2008)

Tool support for learning Büchi automata and linear temporal logic. - Yih-Kuen Tsay; Yu-Fang Chen 001; Ming-Hsien Tsai 001; Kang-Nien Wu; Wen-Chin Chan; Chi-Jian Luo; Jinn-Shu Chang (Formal Aspects Comput., 2009)