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