@inproceedings {1061,
	title = {Synthesis of Live High Level Models for a Class of FMS},
	booktitle = {1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC{\textquoteright}93)},
	volume = {1},
	year = {1993},
	month = {10/1993},
	pages = {589-594},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Le Touquet, France},
	isbn = {0-7803-0911-1},
	author = {J. Ezpeleta and J. Mart{\'\i}nez and J.M. Colom}
}

