Parametric synthesis tool for a branching action temporal logic.