Vitalsource Technologies, Inc. Analysis And Synthesis For Interval Type-2 Fuzzy-model-based Systems