Formal Modeling and Verification of Smart Distribution Grid based on Common Information Model 【上架时间: Fri Aug 19 16:04:01 CST 2016】