Discrete event systems with real-time constraints: a distributed algorithm for optimal resource sharing | IEEE Conference Publication | IEEE Xplore