Efficient computer analysis of switched capacitor circuits via the z-domain