https://123dok.net/document/qmjrj9m5-a-continuous-time-search-model-with-finite-horizon.html