Elmahi, O. (2016). Verification of the Performance Properties of Embedded Streaming Applications via Constraint-Based Scheduling. (PhD thesis, École Polytechnique de Montréal).