Saad, et al.. An Experiment on Parallel Model Checking of a CTL Fragment. Springer Berlin Heidelberg, 2012, doi:10.1007/978-3-642-33386-6_23.