Automated algorithmic software synthesis CAD MEMS using the extended algebra of algorithms | IEEE Conference Publication | IEEE Xplore