Model reduction of finite state machines by contraction