Zaslat SMS: High-Level Modeling and Synthesis of Analog Integrated Systems