From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions | IEEE Conference Publication | IEEE Xplore