@book{598375,
	author = {Baumgarten, Bernd,},
	title = {Testing of Communicating Systems :},
	publisher = {Springer,},
	year = {1996.}
}