Formalized Choice of Electric Grid Configuration With Specific Properties | IEEE Conference Publication | IEEE Xplore