Elmahi, O. (2016). Verification of the Performance Properties of Embedded Streaming Applications via Constraint-Based Scheduling [Thèse de doctorat, École Polytechnique de Montréal]. Disponible