この資料をSMS送信: Implementing generalised alt - A case study in validated design using CSP