Behavior functions of the control unit that have been realized by the software function can be referenced in the element <sw-fulfils>. It is possible by this to decribe functions that are initially independent of the implementation (in a MSRSYS.DTD entity) and to establish the correspondence between behavior and software function within the scope of partitioning.