BUI, T. Parallelizing random-walk based model checking. Science and Technology Development Journal, v. 18, n. 3, p. 108-118, 30 ago. 2015.