A Markov Reward Model for Reliable Synchronous Dataflow System Design. - Vinu Vijay Kumar; Rashi Verma; John C. Lach; Joanne Bechta Dugan (DSN, 2004)