Αποστολή με SMS: Formal methods applied to industrial complex systems /