{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:04:05Z","timestamp":1761807845123,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,12]],"date-time":"2012-10-12T00:00:00Z","timestamp":1350000000000},"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":[[2012,10,12]]},"DOI":"10.1145\/2530544.2530547","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T13:13:17Z","timestamp":1380114797000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Teaching cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Kerstin","family":"Bauer","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"58272","volume-title":"Beispiele. Oldenbourg","author":"Angermann A.","year":"2007","unstructured":"A. Angermann , M. Beuschel , M. Rau , and U. Wohlfahrt . MATLAB-Simulink-Stateflow: Grundlagen, Toolboxen , Beispiele. Oldenbourg , 2007 . ISBN 978-3-486- 58272 - 58277 . A. Angermann, M. Beuschel, M. Rau, and U. Wohlfahrt. MATLAB-Simulink-Stateflow: Grundlagen, Toolboxen, Beispiele. Oldenbourg, 2007. ISBN 978-3-486-58272-7."},{"key":"e_1_3_2_1_3_1","series-title":"Link\u00f6ping Electronic Conference Proceedings","doi-asserted-by":"crossref","first-page":"207","DOI":"10.3384\/ecp11063207","volume-title":"International Modelica Conference","author":"Bauer K.","year":"2011","unstructured":"K. Bauer and K. Schneider . Transferring causality analysis from synchronous programs to hybrid programs . In C. Clau\u00df, editor, International Modelica Conference , volume 63 of Link\u00f6ping Electronic Conference Proceedings , pages 207 -- 217 , Dresden, Germany , 2011 . Link\u00f6ping University Electronic Press . K. Bauer and K. Schneider. Transferring causality analysis from synchronous programs to hybrid programs. In C. Clau\u00df, editor, International Modelica Conference, volume 63 of Link\u00f6ping Electronic Conference Proceedings, pages 207--217, Dresden, Germany, 2011. Link\u00f6ping University Electronic Press."},{"key":"e_1_3_2_1_4_1","volume-title":"The foundations of Esterel","author":"Berry G.","year":"1998","unstructured":"G. Berry . The foundations of Esterel . In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press , 1998 . G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998."},{"key":"e_1_3_2_1_5_1","volume-title":"July","author":"Berry G.","year":"2000","unstructured":"G. Berry . The Esterel v5 language primer , July 2000 . G. Berry. The Esterel v5 language primer, July 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248437"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"e_1_3_2_1_9_1","volume-title":"Foundations of Computer Science (FOCS), page 453","author":"Henzinger M.","year":"1995","unstructured":"M. Henzinger , T. Henzinger , and P. Kopke . Computing simulations on finite and infinite graphs . In J. Seberry and J. Pieprzyk, editors, Foundations of Computer Science (FOCS), page 453 . IEEE Computer Society , 1995 . M. Henzinger, T. Henzinger, and P. Kopke. Computing simulations on finite and infinite graphs. In J. Seberry and J. Pieprzyk, editors, Foundations of Computer Science (FOCS), page 453. IEEE Computer Society, 1995."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1930277.1930278"},{"volume-title":"Introduction to Embedded Systems -- A Cyber-Physical Systems Approach","author":"Lee E.","key":"e_1_3_2_1_11_1","unstructured":"E. Lee and S. Seshia . Introduction to Embedded Systems -- A Cyber-Physical Systems Approach . http:\/\/leeseshia.org\/, 2011. ISBN 978-0-557-70857-4. E. Lee and S. Seshia. Introduction to Embedded Systems -- A Cyber-Physical Systems Approach. http:\/\/leeseshia.org\/, 2011. ISBN 978-0-557-70857-4."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807930"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems -- A Symbolic Approach","author":"Tabuada P.","year":"2009","unstructured":"P. Tabuada . Verification and Control of Hybrid Systems -- A Symbolic Approach . Springer , 2009 . P. Tabuada. Verification and Control of Hybrid Systems -- A Symbolic Approach. Springer, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006159"}],"event":{"name":"ESWEEK'12: Eighth Embedded System Week","sponsor":["EDAA European Design Automation Association","ARTIST Design ARTIST Design","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Tampere Finland","acronym":"ESWEEK'12"},"container-title":["Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2530544.2530547","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2530544.2530547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:52Z","timestamp":1750234192000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2530544.2530547"}},"subtitle":["a programming approach"],"short-title":[],"issued":{"date-parts":[[2012,10,12]]},"references-count":13,"alternative-id":["10.1145\/2530544.2530547","10.1145\/2530544"],"URL":"https:\/\/doi.org\/10.1145\/2530544.2530547","relation":{},"subject":[],"published":{"date-parts":[[2012,10,12]]},"assertion":[{"value":"2012-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}