{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T21:27:45Z","timestamp":1782336465449,"version":"3.54.5"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319470627","type":"print"},{"value":"9783319470634","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47063-4_11","type":"book-chapter","created":{"date-parts":[[2017,1,4]],"date-time":"2017-01-04T23:59:58Z","timestamp":1483574398000},"page":"118-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Acumen: An Open-Source Testbed for Cyber-Physical Systems Research"],"prefix":"10.1007","author":[{"given":"Walid","family":"Taha","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adam","family":"Duracz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingfu","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin","family":"Atkinson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ferenc A.","family":"Bartha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Brauner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Duracz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fei","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Cartwright","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michal","family":"Kone\u010dn\u00fd","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eugenio","family":"Moggi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jawad","family":"Masood","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pererik","family":"Andreasson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anita","family":"Sant\u2019Anna","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roland","family":"Philippsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Chapoutot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcia","family":"O\u2019Malley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aaron","family":"Ames","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Veronica","family":"Gaspes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lise","family":"Hvatum","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shyam","family":"Mehta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henrik","family":"Eriksson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Grante","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,11,18]]},"reference":[{"key":"11_CR1","unstructured":"The jPCT web page. http:\/\/www.jpct.net. Accessed 10 Aug 2015"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control","author":"R Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in charon. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 6\u201319. Springer, Heidelberg (2000). doi:10.1007\/3-540-46430-1_5"},{"key":"11_CR3","unstructured":"Arbor, A.: CarSim reference manual, ver. 6.03 (2005)"},{"key":"11_CR4","unstructured":"Modelica Association et al.: Modelica-a unified object-oriented language for physical systems modeling. Language Specification, Version, 2 (2005)"},{"key":"11_CR5","unstructured":"Beck, K., Beedle, M., Van Bennekum, A., Cockburn, A., Cunningham, W., Fowler, M., Grenning, J., Highsmith, J., Hunt, A., Jeffries, R., et al.: Manifesto for agile software development (2001)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Brauner, P., Taha, W.M.: Globally parallel, locally sequential: a preliminary proposal for acumen objects. In: Proceedings of the 9th Workshop on Parallel\/High-Perf. Object-Oriented Scientific Computing, p. 2. ACM (2010)","DOI":"10.1145\/2039312.2039314"},{"issue":"6","key":"11_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.730836","volume":"15","author":"J Coplien","year":"1998","unstructured":"Coplien, J., Hoffman, D., Weiss, D.: Commonality and variability in software engineering. IEEE Softw. 15(6), 37\u201345 (1998)","journal-title":"IEEE Softw."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Duracz, A., Eriksson, H., Bartha, F.\u00c1., Zeng, Y., Xu, F., Taha, W.: Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment. In: 12th IEEE International Conference on Embedded Software and System (2015)","DOI":"10.1109\/HPCC-CSS-ICESS.2015.296"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2007.01.002","volume":"73","author":"A Edalat","year":"2007","unstructured":"Edalat, A., Pattinson, D.: Denotational semantics of hybrid automata. J. Log. Algebraic Program. 73(1), 3\u201321 (2007)","journal-title":"J. Log. Algebraic Program."},{"key":"11_CR10","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Computer Aided Verification"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for Gazebo, an open-source multi-robot simulator. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, Proceedings, vol. 3, pp. 2149\u20132154. IEEE (2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Kone\u010dn\u00fd, M., Taha, W., Duracz, J., Duracz, A., Ames, A.: Enclosing the behavior of a hybrid system up to and beyond a zeno point. In: IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (2013)","DOI":"10.1109\/CPSNA.2013.6614258"},{"key":"11_CR13","volume-title":"Code is Law: On Liberty in Cyberspace","author":"L Lessig","year":"2000","unstructured":"Lessig, L.: Code is Law: On Liberty in Cyberspace. Harvard Magazine, Cambridge (2000)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11817949_1","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"X Liu","year":"2006","unstructured":"Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 1\u201315. Springer, Heidelberg (2006). doi:10.1007\/11817949_1"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: Prom timed to hybrid systems. In: Bakker, J.W., Huizing, C., Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 447\u2013484. Springer, Heidelberg (1992). doi:10.1007\/BFb0032003"},{"key":"11_CR16","unstructured":"Masood, J., Philippsen, R., Duracz, J., Taha, W., Eriksson, H., Grante, C.: Domain analysis for standardised functional safety: a case study on design-time verification of automatic emergency braking"},{"issue":"4","key":"11_CR17","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When, how to develop domain-specific languages. ACM Comput. Surv. (CSUR) 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-71070-7_15","volume-title":"Automated Reasoning","author":"A Platzer","year":"2008","unstructured":"Platzer, A., Quesel, J.-D.: KeYmaera: a hybrid theorem prover for hybrid systems (System Description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 171\u2013178. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-71070-7_15"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-25935-0_3","volume-title":"Domain-Specific Program Generation","author":"W Taha","year":"2004","unstructured":"Taha, W.: A gentle introduction to multi-stage programming. In: Lengauer, C., Batory, D., Blum, A., Odersky, M. (eds.) Domain-Specific Program Generation. LNCS, vol. 3016, pp. 30\u201350. Springer, Heidelberg (2004)"},{"key":"11_CR20","unstructured":"Taha, W., Cartwright, R.: The trouble with real numbers. In: Informatik 2011, p. 325. Bonner K\u00f6llen Verlag (2011)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Taha, W., Cartwright, R., Philippsen, R., Zeng, Y.: A first course on cyber physical systems. In: Workshop on Cyber-Physical Systems Education (2013)","DOI":"10.1145\/2829957.2829964"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Taha, W., Gaspes, V., Page, R.: Accurate programming: thinking about programs in terms of properties. arXiv preprint arXiv:1109.0786 (2011)","DOI":"10.4204\/EPTCS.66.13"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Wan, Z., Hudak, P.: Functional reactive programming from first principles.In: ACM SIGPLAN Notices, vol. 35, pp. 242\u2013252. ACM (2000)","DOI":"10.1145\/358438.349331"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Zeng, Y., Rose, C., Brauner, P., Taha, W., Masood, J., Philippsen, R., O\u2019Malley, M., Cartwright, R.: Modeling basic aspects of cyber-physical systems, part ii. In: IEEE 11th International Conference on Embedded Software and System (2014)","DOI":"10.1109\/HPCC.2014.119"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Internet of Things. IoT Infrastructures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47063-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T00:28:49Z","timestamp":1749860929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47063-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319470627","9783319470634"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47063-4_11","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"18 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IoT360","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Internet of Things Summit","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iot3602015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}