"GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic."

Yih-Kuen Tsay et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics