Structural properties of optimal scheduling in prioritized Discrete Event Systems with real-time constraints. - Lei Miao 005 (CDC, 2010)