@inproceedings {RP-84-07,
	title = {Dise{\~n}o de un controlador tiempo real seguro de funcionamiento},
	year = {1984},
	month = {11},
	pages = {303-310},
	author = {S. Velilla and M. Silva}
}

