Совместное распределение супремума и момента его достижения траекторией процесса Пуассона с линейным сносом

Рассматривается случайный процесс $Y(t)=at-\nu(pt)$, $t\geqslant 0$, где $\nu(t)$ — стандартный процесс Пуассона, $p>a>0$. В работе найдено совместное распределение величин $t^+$, $\overline{Y}$, где $\overline{Y}$ — супремум, а $t^+$ — момент его достижения траекторией $Y(t)$.