A Real-Time Based Platform for Integrating Power-to-Gas in Electrical Distribution Grids | IEEE Conference Publication | IEEE Xplore