Zaslat SMS: Use case modeling