發送短信 : Synchronisation analysis for tupling /