Evoalloy: An Evolutionary Approach For Analyzing Alloy Specifications