Joint law of an Ornstein-Uhlenbeck process and its supremum. - Christophette Blanchet-Scalliet; Diana Dorobantu; Laura Gay (J. Appl. Probab., 2020)