Αποστολή με SMS: Protocol specification, testing and verification, VI