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