@article {316,
	title = {Control Flow Checking in Multitasking Systems},
	journal = {PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING},
	volume = {39},
	year = {1995},
	month = {1995},
	pages = {27 - 36},
	isbn = {0324-6000},
	author = {Istv{\'a}n Majzik and Andr{\'a}s Pataricza}
}
