Automated Synthesis Of Mixed-Technology Mems Systems With Electronic Control