Bui, T. Parallelizing Random-Walk Based Model Checking. Science and Technology Development Journal 2015, 18, 108-118.