Assertion list for term "used in safety-critical system".

Results from Ascent++: 1
redundancy ReceivesActionused in safety-critical system 0.25