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