Towards the formal integration of two upcoming standards: IEC 61970 and IEC 61850 | IEEE Conference Publication | IEEE Xplore