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

be integrated as a library [...] in a library along [...] be stored in 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

in the declaration table. User-defined data types The User [...] and the libraries. This category

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