Taxonomies for the development and verification of digital systems - Bailey, Brian (Springer US, 2005)