SMS: Optimal primary-backup protocols / Navin Budhiraja [and others].