@book{13477,
	author = {Glasser, Mark},
	title = {Open verification methodology cookbook},
	publisher = {: Springer, },
	year = {©2009.},
	address = {New York }
}