 2, pp. 188-197 Febraury 2003 [Demu02] B. Demuer, Monolithic CMOS fractional-N frequency Synthesizers, Ph.D. thesis, Katholieke Universiteit Leuven, Department of Electrical Engi- neering, November 2002 [Deso80] C. Desoer and Y. Wang, "On the Generalized Nyquist Stability Criterion", In IEEE Transactions on Automatic Control, vol. AC-25, no. 2, pp. 187- 196, April 1980 [Donn98] S. Donnay, Analog High-Level Design Automation in Mixed-Signal Asics, Ph.D. dissertation, Katholieke Universiteit Leuven, December 1998 [Enz95] C. Enz, F. Krummenacher and E. Vittoz, "An analytical MOS transistor model valid in all regions of Operation and dedicated to low-voltage and low-current applications", In Journal of Analog Integrated Circuits and Signal Processing, Kluwer Academic Publishers, vol. 26, pp. 83-114, July 1995 [Fern98] F. Fernandez, A. Rodríguez-Vázquez, L. Huertas and G. Gielen, Symbolic analysis techniques-Applications to Analog Design Automation, IEEE Press, 1998. [Firk00] F. Firk, Introduction to Groups, Invariants and Particles, http://www.physicsforfree.com/ 2000 [Floq83] G. Floquet, "Sur les équations différentielles linéaires a coefficients périodques", Annales de l'Ecole Normale Supérieure, vol. 12, pp. 47-89, 1883. [Fran94] G. Franklin, J. Powell, and A. Emami-Naeini, Feedback Control of Dy- namic Systems, 3rd edition, Addison-Wesley, 1994. [Freu95] R. Freund and P. Feldmann, "Numerical Simulation of Electronic Circuits: State-of-the-Art Techniques and Challenges", short course, SIAM Annual Meeting, 1995 [Gard79] F.M. Gardner, Phaselock Techniques, 2nd. ed., John Wiley & Sons Inc., [Gard80] F.M. Gardner, "Charge-Pump Phase-Lock Loops", In IEEE Transactions on Communications, vol. com-28, no. 11, November 1980 [Gelb68] A. Gelb and W. Vander Velde, Multiple-input Describing Functions and Nonlinear System Design, McGraw-Hill Book Company, 1968 [Gie91] G. Gielen and W. Sansen, Symbolic Analysis for Automated Design of Analog Integrated Circuits, Kluwer Academic Publishers, 1991 [Gie94] G. Gielen, P. Wambacq, W. 