Two-level iterative queuing modeling of software contention · Study