Cofnod E-bost: Approximating Attractors of Boolean Networks by Iterative CTL Model Checking