Αποστολή με SMS: Understanding behavioral synthesis :