From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions - J. Rodrigues (2004)