Pošalji SMS: Leveraging applications of formal methods :