@book{33266,
	author = {Bergé, Jean-Michel...[et al]},
	title = {Model generation in electronic design},
	publisher = {: Kluwer Academic Publishers, },
	year = {©1995.},
	address = {Boston }
}