Level Crossing Rate

The expected number of crossings in positive direction per second is [Rice]

r^ (r cap) is the derivative of the envelope r w.r.t. time

Note: this expression involves the joint PDF;
not the conditional PDF f(r^½r = R)

How to derive the PDF of f(r^,r)?