@book{4667,
	author = {TEBBS, DAVID},
	title = {REAL TIME SYSTEM}
}