Click timer-MSP-epfl.mp4 link to view the file.