@book{27185,
	author = {Logothetis, Georgios},
	title = {Specification, modeling, verification and runtime analysis of real time systems /},
	publisher = { Aka,},
	year = { 2004},
	address = {Berlin, Germany:}
}