High-level modeling and design of asynchronous arbiters for on-chip communication systems | IEEE Conference Publication | IEEE Xplore