Zaslat SMS: State space analysis: an introduction