Zaslat SMS: Foundation analysis and design /