Composable Reliability for Asynchronous Systems. - Sunghwan Yoo; Charles Killian; Terence Kelly; Hyoun Kyu Cho; Steven Plite (USENIX ATC, 2012)