Flight Software Command Success Indication with EVR

Whenever a flight software command is issued, then eventually an EVR should indicate success of that command. This rule can be expressed using temporal logic as follows: G (command_issued -> F evr_success)