MEMS fault model generation using CARAMEL | IEEE Conference Publication | IEEE Xplore