Process-Based Design Verification for Systems Involving Shared Resources | IEEE Conference Publication | IEEE Xplore