Zaslat SMS: System-level modeling of MEMS /