What happens if the Champions League final ends in a draw?

Here is what will happen in Istanbul if the Champions League final between Manchester City and Inter ends in a draw.

(Originally posted by Burns)