Αποστολή με SMS: Software testing, analysis, and verification (1989)