@book{99517,
	title = {INTERNATIONAL JOURNAL OF REAL TIME SYSTEMS },
	publisher = {SERIALS}
}