@book{48399,
	author = {Olderog, E.-R. and Dierks, H.},
	title = {Real-time systems :},
	publisher = {Cambridge University Press,},
	year = {2008},
	address = {Cambridge, UK ;}
}