Text this: An fmea-based methodology for the development of control software reliable to hardware failures