) Time event A [...] time. User input [...] -click the symbol. An input field
-click the symbol. An input field [...] has a guard condition [...] which is intended as a reaction
, an input field opens [...] ) <<library>> : DUT from a [...] DUT from a library
it a second time [...] , an input field opens [...] is a set of methods
: Manager_A User input [...] ITF_A VAR_INPUT END [...] it a second time
, an input field opens [...] <<library>> GVL from a [...] from a library
times. The Input [...] : Completion transition A [...] does not have a condition