Development options for the Dutch gas distribution grid in a changing gas market | IEEE Conference Publication | IEEE Xplore