General template

optional preconditions optional trigger the system name shall system response.

Normal behavior

The system name shall system response.

Unwanted behavior

If optional preconditions trigger, then the system name shall system response.

Event-driven, When

When trigger the system name shall system response.

State-driven, While

While in a specific state the system name shall system response.

Option, Where

Where feature is included the system name shall system response