Synthesis of greatest linear feedback for timed-event graphs in dioid | IEEE Journals & Magazine | IEEE Xplore