Vinu Vijay Kumar Rashi Verma John Lach Joanne Bechta Dugan A Markov Reward Model for Reliable Synchronous Dataflow System Design. 817-825 2004 conf/dsn/2004 DSN http://csdl.computer.org/comp/proceedings/dsn/2004/2052/00/20520817abs.htm db/conf/dsn/dsn2004.html#KumarVLD04