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