@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} }