High-level modeling and synthesis of analog integrated systems door E. Martens