Generalized Büchi Automata -- Session 2. Tools Papers -- Ticc: A Tool for Interface