@inproceedings {303,
	title = {High-level Supervision of Program Execution Based on Formal Specification},
	booktitle = {Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume)},
	year = {2004},
	month = {2004},
	pages = {292 - 296},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	url = {http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2004-wads-high-level-supervision-of-program-execution-based-on-formal-specification.pdf},
	author = {Gergely Pint{\'e}r and Istv{\'a}n Majzik}
}
