support for XMI-MSIM 4.0/new manual