Αποστολή με SMS: Lectures on Formal Methods and Performance Analysis