Αποστολή με SMS: Formal Methods for Quantitative Aspects of Programming Languages