Taxonomies for the Development and Verification of Digital Systems - Bailey, Brian; Martin, Grant; Anderson, Thomas (Springer US, 2005)