Dijk, T., Laarman, A. and Pol, J. (2012) “Multi-core and/or Symbolic Model Checking”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.773.