Extended message sequence charts with time-interval semantics | IEEE Conference Publication | IEEE Xplore