Representation and synchronization of states of distributed electrical grid systems based on conflict free replicated data types | IEEE Conference Publication | IEEE Xplore