publication venue for A micro-mechanical resonator with programmable frequency capability . 21:035007 . 2012