a tool for transform ltl to ba