@inproceedings {RP-92-09,
	title = {Formal specification and validation in production plants},
	year = {1992},
	month = {5},
	pages = {64-73},
	author = {J. Ezpeleta and J. Mart{\'\i}nez}
}

