In this image we can see:
Problems are:
I could not find any information about a history state without edges pointing into it.
The two transitions are fired on different events and have different effects: The y/c transition is fired if event y happens, and when fired the behaviour c is performed. The second transition is a transition that happens when B is completed and no y happened; in this case, c is not performed.
The history state is a little more tricky, and I therefore edited my original answer: