In UML-B if a state has two or more nested state machines all with an elaborated transition (elaborates parent state's transition), the U2B translation produces an event with several conflicting actions (four copies of the same action with the same label).
UML-B is no longer supported - we use iUML-B instead