The Case for Timing-Centric Distributed Software Invited Paper. - Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (ICDCS Workshops, 2009)

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. - Jia Zou 002; Joshua S. Auerbach; David F. Bacon; Edward A. Lee (LCTES, 2009)

Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee; Thomas Huining Feng; Patricia Derler (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems. - Jia Zou 002 (2011)

PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. - Jia Zou 002; Slobodan Matic; Edward A. Lee (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Distributed Real-Time Software for Cyber-Physical Systems. - John C. Eidson; Edward A. Lee; Slobodan Matic; Sanjit A. Seshia; Jia Zou 002 (Proc. IEEE, 2012)