SPIN Model Management