@proceedings {RM_ISARCS10,
	title = {Integrating Fault-Tolerant Techniques into the Design of Critical Systems},
	volume = {6150},
	year = {2010},
	pages = {33--51},
	publisher = {Springer},
	address = {Prague},
	author = {R.J. Rodr{\'\i}guez and Jos{\'e} Merseguer}
}

