Mathematical programming representations for state-dependent queues | IEEE Conference Publication | IEEE Xplore