Reachability analysis of probabilistic Boolean networks using model checking