Assertion list for term "transmitted at time".
Results from Ascent++: 2
bit → ReceivesAction → transmitted at time 0.42
byte → ReceivesAction → transmitted at time 0.27