T. Dijk, A. Laarman, and J. Pol, “Multi-core and/or Symbolic Model Checking”, eceasst, vol. 53, Nov. 2012.