@book{182292,
	author = {Kavi, Krishna M.},
	title = {Real time systems : abstractions languages and design methodologies},
	publisher = {IEEE Computer Society Press},
	year = {1992},
	address = {California}
}