@inproceedings {307,
	title = {Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements},
	booktitle = {Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005)},
	year = {2005},
	month = {2005},
	pages = {111 - 120},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	url = {http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2005-hase-automatic-generation-of-executable-assertions-for-runtime-checking-temporal-requirements.pdf},
	author = {Gergely Pint{\'e}r and Istv{\'a}n Majzik}
}
