The probability density of the output of an RC filter when the input is a binary random process | IEEE Journals & Magazine | IEEE Xplore