Bikram Baidya Tamal Mukherjee Layout verification for mixed-domain integrated MEMS. 563-577 2005 24 IEEE Trans. on CAD of Integrated Circuits and Systems 4 http://dx.doi.org/10.1109/TCAD.2005.844100 db/journals/tcad/tcad24.html#BaidyaM05