Towards automated cyber decision support: A case study on network segmentation for security | IEEE Conference Publication | IEEE Xplore