Zaslat SMS: State space analysis of control systems