Stable priority queue for dependable software systems.