Zaslat SMS: On the expressive power of CSP extended by priority