Extending fault-based testing to microelectromechanical systems | IEEE Conference Publication | IEEE Xplore