On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem