In a system description a sub component is specified by its type and local name:
instance ::= component-name identifier ";"
The component definition of component-name
has to be available,
potentially through an import
.
It is allowed to have more than one instance of the same type:
hello h1; hello h2;