發送短信 : Leveraging applications of formal methods, verification and validation. Applications and case studies