Assertion list for term "completed in a short shutdown time frame".
Results from Ascent++: 1
repair → ReceivesAction → completed in a short shutdown time frame 0.18