@book{30552,
	title = {Taxonomies for the development and verification of digital systems /},
	publisher = {Springer,},
	year = {2005},
	address = {New York :}
}