"Ranger: Parallel analysis of alloy models by range partitioning."

Nicolás Rosner et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics