Assertion list for term "driven in manual mode".

Results from Ascent++: 1
bus ReceivesActiondriven in manual mode 0.31