Two-level iterative queuing modeling of software contention | IEEE Conference Publication | IEEE Xplore