Towards a modular timing analysis of real-time software systems | IEEE Conference Publication | IEEE Xplore