Taxonomies for the Development and Verification of Digital Systems - Bailey, Brian (Springer Science+Business Media, Inc., 2005)