@book{39890,
	author = {28},
	title = {Verification and validation of real-time software /}
}