Verification of models of distribution systems with distributed generation | IET Conference Publication | IEEE Xplore