HSD: Hybrid MARTE Sequence Diagram | IEEE Conference Publication | IEEE Xplore