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