be a POU, a library [...] ) <<library>> for a library [...] >> for a library POU

) <<library>> : DUT from a library <<missing>> : DUT from a library

variable. User input [...] at locations [...] at permitted locations

. It does not have any properties. User input [...] locations [...] at permitted locations

. User input Action [...] symbol at locations [...] at permitted locations

. It does not have any properties. User input [...] symbol at locations [...] at permitted locations

<<interface>> <<library>> : Interface from a library [...] from a library

<<library>> GVL from a library <<missing>> GVL from a library

be located in a statechart [...] in the statechart. User input

. Therefore, user input [...] relationship to a library