Formal description and language of MEMS design | IEEE Conference Publication | IEEE Xplore