Title: A method for the design of embedded fault-tolerant computers for process control and a design example