Adachi, Masakazu, Papadopoulos, Yiannis, Sharvia, Septavera, Parker, David, Tohdo, Tetsuya, "An approach to optimization of fault tolerant architectures using HiP-HOPS", Software-Practice & Experience, 2011