new doc on hitting time of mean-reverted processes