Interactive Generalized Semi Markov Process Model for Evaluating Arbitration Schemes of SoC Bus Architectures | IEEE Conference Publication | IEEE Xplore