Media type: E-Article Title: Distributed Real-Time Software for Cyber–Physical Systems Contributor: Eidson, John C.; Lee, Edward A.; Matic, Slobodan; Seshia, Sanjit A.; Zou, Jia imprint: Institute of Electrical and Electronics Engineers (IEEE), 2012 Published in: Proceedings of the IEEE Language: Not determined DOI: 10.1109/jproc.2011.2161237 ISSN: 1558-2256; 0018-9219 Keywords: Electrical and Electronic Engineering Origination: Footnote: