Text this: Applying Static Slicing to UCM Requirements Specifications