Semantics of the interaction overview diagram | IEEE Conference Publication | IEEE Xplore