Stationary model of pulse interval modulation and exact spectral evaluation