Edward A. Lee Slobodan Matic Sanjit A. Seshia Jia Zou The Case for Timing-Centric Distributed Software Invited Paper. 57-64 2009 ICDCS Workshops http://dx.doi.org/10.1109/ICDCSW.2009.108 conf/icdcsw/2009 db/conf/icdcsw/icdcsw2009.html#LeeMSZ09