Zaslat SMS: Stability analysis of fuzzy-model-based control systems