Αποστολή με SMS: Taxonomies for the Development and Verification of Digital Systems