The formalization of the MEMS automated design process by usage of Petri Networks | IEEE Conference Publication | IEEE Xplore