A. Saffar

Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems

Peyman Gohari, Vasudevan Janarthanan, Abdollah Saffar, 2006, IEEE Transactions on Automatic Control.