Stochastic modelling based environment for synthesis and comparison of bus arbitration policies | IEEE Conference Publication | IEEE Xplore