Approximating attractors of Boolean networks by iterative CTL model checking