Designing and Developing High-Confidence Petroleum Extraction Cyber-Physical System Using the Model-Driven Architecture | IEEE Conference Publication | IEEE Xplore