Distributed CTL Model Checking in the Cloud - Bellettini, Carlo (arXiv.org)