<asterisk state list> ::=
<asterisk> [(<state name> {, <state name>}*)]
The <state name>s in an <asterisk state list> must be distinct and must be contained in other <state list>s in the enclosing <body> or in the <body> of a supertype.
A <state> with an <asterisk state list> is transformed to a list of <state>s, one for each <state name> of the <body> in question, except for those <state name>s contained in the <asterisk state list>.