Specification and design of shared resource arbitration Manfred BroyThomas Streicher OriginalPaper Pages: 1 - 22