Cost-effective industrial software rejuvenation using domain-specific models