What I have for now is this:
<domain-controller>
<domain-controller>
<local interface="public" port="9999">
...
</local>
</domain-controller>
The interface element can come from either the host level interfaces or interfaces within the <local> element.