Text this: Taxonomies for the Development and Verification of Digital Systems