Αποστολή με SMS: Tools and Algorithms for the Construction of Analysis of Systems