Seol mar théacs é seo: System-level modeling of MEMS /