Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture | IEEE Conference Publication | IEEE Xplore