Assertion list for term "transmitted in respective time slots".
Results from Ascent++: 1
bit → ReceivesAction → transmitted in respective time slots 0.25