Text this: Regression test suite reduction based on SDL models of system requirements.