{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:47Z","timestamp":1750306667829,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2593783.2593785","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"62-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Model-based design of cyber-physical software systems for smart worlds: a software engineering perspective"],"prefix":"10.1145","author":[{"given":"Kaliappa","family":"Ravindran","sequence":"first","affiliation":[{"name":"City University of New York, USA"}]},{"given":"Ramesh","family":"Sethu","sequence":"additional","affiliation":[{"name":"General Motors, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"159","volume-title":"proc. SAICSIT","author":"Grant T.","year":"2005"},{"volume-title":"Morgan Kaufman Publ","year":"2007","author":"Eberhart R. C.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_4_1","unstructured":"F. S. Hillier and G. J. Lieberman. \u201dNon-linear Programming\u201d and \u201dMeta-heuristics\u201d. Chap. 12 13 Introduction to Operations Research McGraw-Hill publ. (8th ed.) pp.547-616 2005.  F. S. Hillier and G. J. Lieberman. \u201dNon-linear Programming\u201d and \u201dMeta-heuristics\u201d. Chap. 12 13 Introduction to Operations Research McGraw-Hill publ. (8th ed.) pp.547-616 2005."},{"key":"e_1_3_2_1_5_1","unstructured":"Y. Diao J. L. Hellerstein G. Kaiser S. Parekh and D. Phung. Self-Managing Systems: A Control Theory Foundation. In IBM Research Report RC23374 (W0410-080) Oct.2004.  Y. Diao J. L. Hellerstein G. Kaiser S. Parekh and D. Phung. Self-Managing Systems: A Control Theory Foundation. In IBM Research Report RC23374 (W0410-080) Oct.2004."},{"volume-title":"Journal of the","year":"2009","author":"Leveson N. G.","key":"e_1_3_2_1_6_1"},{"volume-title":"Multicon Lecture Notes","year":"2007","author":"Ravindran K.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.17"},{"key":"e_1_3_2_1_9_1","unstructured":"K. Marzullo and M. Wood. Making Real-time Reactive Systems Reliable. citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.56.5581 1993.  K. Marzullo and M. Wood. Making Real-time Reactive Systems Reliable. citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.56.5581 1993."},{"key":"e_1_3_2_1_10_1","first-page":"1","author":"Nugroho A.","year":"2009","journal-title":"Publ."},{"key":"e_1_3_2_1_11_1","unstructured":"C. Angelov N. Marian K. Sierszecki and J. Ma. Model-Based Design and Verification of Embedded Software. URL: citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.126.4336.  C. Angelov N. Marian K. Sierszecki and J. Ma. Model-Based Design and Verification of Embedded Software. URL: citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.126.4336."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.790486"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2006.123"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370024"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.28"},{"volume-title":"Proc. ICAP\u201905 Workshop on Verification and Validation of Model-based Planning and Scheduling Systems","year":"2005","author":"Mikaelian T.","key":"e_1_3_2_1_16_1"},{"volume-title":"IEEE\/IFIP Conf. on Dependable Systems and Networks (DSN\u201910)","year":"2010","author":"Lanigan P. E.","key":"e_1_3_2_1_17_1"},{"volume-title":"proc. workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS\u201910)","year":"2010","author":"Rowe A.","key":"e_1_3_2_1_18_1"},{"volume-title":"Optimal Control Allocation in Vehicle Dynamics Control for Rollover Mitigation. In proc. 2008 American Control Conference","year":"2008","author":"Schofield B.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"U. Kienke and L. Nielsen. \u201dVehicle Modeling\u201d and \u201dVehicle Parameters and States\u201d. Chap. 8-9 Automotive Control Systems: For Engine Driveline and Vehicle Springer publ. (2nd. Ed.) pp.301-408 2005.  U. Kienke and L. Nielsen. \u201dVehicle Modeling\u201d and \u201dVehicle Parameters and States\u201d. Chap. 8-9 Automotive Control Systems: For Engine Driveline and Vehicle Springer publ. (2nd. Ed.) pp.301-408 2005."},{"volume-title":"proc. Fusion\u201902","year":"2002","author":"Amditis D. A.","key":"e_1_3_2_1_21_1"},{"volume-title":"Master\u2019s Degree Project, KTH Stockholm (Sweden), IR-RT-EX-0422","year":"2004","author":"Orozco A. R.","key":"e_1_3_2_1_22_1"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593783.2593785","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593783.2593785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:44Z","timestamp":1750230044000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593783.2593785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":21,"alternative-id":["10.1145\/2593783.2593785","10.1145\/2593783"],"URL":"https:\/\/doi.org\/10.1145\/2593783.2593785","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}