@book{617106,
	author = { Ernst-Rüdiger Olderog, Henning Dierks.},
	title = {Real-Time Systems: Formal Specification and Automatic Verification /},
	publisher = {Cambridge University Press,},
	year = {2008.},
	address = {UK:},
	edition = {1st Edition}
}