Efficient Maintenance Through Tolerances - Verified