Boeken over High-level modeling and synthesis of analog integrated systems