for Model-Checking Systems with Unspecified Components -- Test Optimization -- Test