A set of new and efficient formulae for buffer size analysis of real-time systems using M/G/1 models | IEEE Conference Publication | IEEE Xplore