Dijk, T.; Laarman, A.; Pol, J. Multi-Core and Or Symbolic Model Checking. ECEASST 2012, 53.