Assertion list for term "implemented in the real time system".
Results from Ascent++: 1
observer → ReceivesAction → implemented in the real time system 0.25