ILP Formulation for Monitoring-Cycle Construction Using Segment Routing | IEEE Conference Publication | IEEE Xplore