Shared Resource Access Attributes for High-Level Contention Models | IEEE Conference Publication | IEEE Xplore