Design tools for BioMEMS. - Tom Korsmeyer; Jun Zeng; Ken Greiner (DAC, 2004)