T. Bui, “Parallelizing random-walk based model checking”, Science and Technology Development Journal, vol. 18, no. 3, pp. 108-118, Aug. 2015.