Co-Design of an Augmented Reality Maintenance Tool for Gas Pressure Regulation Stations | IEEE Conference Publication | IEEE Xplore