{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T17:23:30Z","timestamp":1770485010211,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T00:00:00Z","timestamp":1365379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,4,8]]},"DOI":"10.1145\/2502524.2502540","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"109-118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":89,"title":["Cyber-physical system design contracts"],"prefix":"10.1145","author":[{"given":"Patricia","family":"Derler","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"key":"e_1_3_2_1_2_1","unstructured":"Artist. Artist roadmaps. http:\/\/www.artist-embedded.org\/artist\/-Roadmaps-.html.  Artist. Artist roadmaps. http:\/\/www.artist-embedded.org\/artist\/-Roadmaps-.html."},{"key":"e_1_3_2_1_3_1","unstructured":"Artist. Artist2 roadmap on real-time techniques in control. http:\/\/www.artist-embedded.org\/artist\/ARTIST-2-Roadmap-on-Real-Time.html.  Artist. Artist2 roadmap on real-time techniques in control. http:\/\/www.artist-embedded.org\/artist\/ARTIST-2-Roadmap-on-Real-Time.html."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium","author":"\u00c5rz\u00e9n K.","year":"2006","unstructured":"K. \u00c5rz\u00e9n , A. Bicchi , S. Hailes , K. Johansson , and J. Lygeros . On the design and control of wireless networked embedded systems . In Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium , Oct. 2006 . K. \u00c5rz\u00e9n, A. Bicchi, S. Hailes, K. Johansson, and J. Lygeros. On the design and control of wireless networked embedded systems. In Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium, Oct. 2006."},{"key":"e_1_3_2_1_5_1","volume-title":"Computer-Controlled Systems: Theory and Design","author":"Astr\u00f6m K.","year":"1996","unstructured":"K. Astr\u00f6m and B. Wittenmark . Computer-Controlled Systems: Theory and Design . Prentice-Hall , 3 rd edition, 1996 . K. Astr\u00f6m and B. Wittenmark. Computer-Controlled Systems: Theory and Design. Prentice-Hall, 3rd edition, 1996.","edition":"3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212735"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.45"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1331331.1331339"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium","author":"Cervin A.","year":"2006","unstructured":"A. Cervin , K. \u00c5rz\u00e9n , D. Henriksson , M. Lluesma Camps , P. Balbastre , I. Ripoll , and A. Crespo . Control loop timing analysis using TrueTime and Jitterbug . In Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium , Oct. 2006 . A. Cervin, K. \u00c5rz\u00e9n, D. Henriksson, M. Lluesma Camps, P. Balbastre, I. Ripoll, and A. Crespo. Control loop timing analysis using TrueTime and Jitterbug. In Proceedings of the 2006 IEEE Computer Aided Control Systems Design Symposium, Oct. 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434325"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1233760.1233765"},{"key":"e_1_3_2_1_14_1","volume-title":"RTCSA","author":"Cervin A.","year":"2004","unstructured":"A. Cervin , B. Lincoln , J. Eker , K. \u00c5rz\u00e9n , and G. Buttazzo . The jitter margin and its application in the design of real-time control systems . In RTCSA , Goeteborg, Sweden , Aug. 2004 . A. Cervin, B. Lincoln, J. Eker, K. \u00c5rz\u00e9n, and G. Buttazzo. The jitter margin and its application in the design of real-time control systems. In RTCSA, Goeteborg, Sweden, Aug. 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278553"},{"key":"e_1_3_2_1_16_1","volume-title":"EMSOFT'01","author":"de Alfaro L.","year":"2001","unstructured":"L. de Alfaro and T. Henzinger . Interface theories for component-based design . In EMSOFT'01 . Springer , LNCS 2211, 2001 . L. de Alfaro and T. Henzinger. Interface theories for component-based design. In EMSOFT'01. Springer, LNCS 2211, 2001."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.704040"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_19_1","volume-title":"A feedback scheduler for real-time controller tasks. Control Engineering Practice, 8(12)","author":"Eker J.","year":"2000","unstructured":"J. Eker , P. Hagander , and K.-E. \u00c5rz\u00e9n . A feedback scheduler for real-time controller tasks. Control Engineering Practice, 8(12) , 2000 . J. Eker, P. Hagander, and K.-E. \u00c5rz\u00e9n. A feedback scheduler for real-time controller tasks. Control Engineering Practice, 8(12), 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377189"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176907"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.703899"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_26_1","volume-title":"Handbook of Real-Time and Embedded Systems","author":"Kirsch C. M.","year":"2006","unstructured":"C. M. Kirsch and R. Sengupta . The evolution of real-time programming . In Handbook of Real-Time and Embedded Systems , 2006 . C. M. Kirsch and R. Sengupta. The evolution of real-time programming. In Handbook of Real-Time and Embedded Systems, 2006."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038689"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_29_1","volume-title":"Automotive Software Workshop San Diego (ASWSD 2006)","author":"Pree W.","year":"2006","unstructured":"W. Pree and J. Templ . Modeling with the Timing Definition Language (TDL) . In Automotive Software Workshop San Diego (ASWSD 2006) on Model-Driven Development of Reliable Automotive Services , 2006 . W. Pree and J. Templ. Modeling with the Timing Definition Language (TDL). In Automotive Software Workshop San Diego (ASWSD 2006) on Model-Driven Development of Reliable Automotive Services, 2006."},{"key":"e_1_3_2_1_30_1","volume-title":"DATE'09","author":"Samii S.","year":"2009","unstructured":"S. Samii , A. Cervin , P. Eles , and Z. Peng . Integrated scheduling and synthesis of control applications on distributed embedded systems. In Design, Automation and Test in Europe , DATE'09 , 2009 . S. Samii, A. Cervin, P. Eles, and Z. Peng. Integrated scheduling and synthesis of control applications on distributed embedded systems. In Design, Automation and Test in Europe, DATE'09, 2009."},{"key":"e_1_3_2_1_31_1","volume-title":"Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European Journal of Control","author":"Sangiovanni-Vincentelli A.","year":"2012","unstructured":"A. Sangiovanni-Vincentelli , W. Damm , and R. Passerone . Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European Journal of Control , 2012 . In press . A. Sangiovanni-Vincentelli, W. Damm, and R. Passerone. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European Journal of Control, 2012. In press."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.834121"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630066"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007964222989"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985342.1985345"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1995.531240"}],"event":{"name":"ICCPS '13: ACM\/IEEE 4th International Conference on Cyber-Physical Systems","location":"Philadelphia Pennsylvania","acronym":"ICCPS '13","sponsor":["IEEE-CS\\TCRT TC on Real-Time Systems","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the ACM\/IEEE 4th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502540","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502524.2502540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:54Z","timestamp":1750234734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502524.2502540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,8]]},"references-count":36,"alternative-id":["10.1145\/2502524.2502540","10.1145\/2502524"],"URL":"https:\/\/doi.org\/10.1145\/2502524.2502540","relation":{},"subject":[],"published":{"date-parts":[[2013,4,8]]},"assertion":[{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}