Receding Horizon Control for a Class of Discrete Event Systems with Real-Time Constraints Proc. of 44th IEEE Conf. Decision and Control , pp. 7714-7719, Dec. 2005.