Taxonomies for the Development and Verification of Digital Systems by Grant Martin, Brian Bailey & Thomas Anderson