::= ";" | ::= | | | | ::= "SYSTEM" "=" ::= "BEHAVIOR" "=" ::= "INTERACTION" ::= "WHEN" ::= "INIT" | "INIT" ::= | ::= "|" | "|" ::= | ::= "(" ")" | ::= ::= "*" | "+" | "?" | "{" integer "}" | "{" integer "," "}" | "{" integer "," integer "}" | empty ::= | ::= | ::= | ::= ":" | ":" | ":" | ::= ":" ::= "==" ::= "->" ::= "{" text text "}" | "{" text "}" ::= ::= ::= alphanumString