If alternative countermeasures are anticipated at RE time, the system can then shift from one countermeasure to the other at runtime in case the currently selected one appears ineffective (see Section 6.5).
alternative
case the currently selected one appears ineffective (see Section 6.5).