Optimal Control Synthesis of Timed Event Graphs With Interval Model Specifications | IEEE Journals & Magazine | IEEE Xplore