Taxonomies for the Development and Verification of Digital Systems - Bailey, Brian (Springer US, 2020)