Christos Tsiaras: A Deterministic QoE Formalization of User Satisfaction Demands; Disney Research Zurich (DRZ), Zürich, Switzerland, July 2014, URL: https://files.ifi.uzh.ch/CSG/staff/tsiaras/Extern/Presentations/QoE-UZH.pdf.