Managing Requirements with PTC Integrity