Oman Gas Company selects US firm for real-time pipeline management