Automatic Generation of Program Families by Model Restrictions