@book{39250,
	author = {27},
	title = {Engineering real-time systems :}
}