{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:02:59Z","timestamp":1760079779907,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"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,6,2]]},"DOI":"10.1145\/2593770.2593776","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"19-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Structuring simulink models for verification and reuse"],"prefix":"10.1145","author":[{"given":"Michael W.","family":"Whalen","sequence":"first","affiliation":[{"name":"University of Minnesota, USA"}]},{"given":"Anitha","family":"Murugesan","sequence":"additional","affiliation":[{"name":"University of Minnesota, USA"}]},{"given":"Sanjai","family":"Rayadurgam","sequence":"additional","affiliation":[{"name":"University of Minnesota, USA"}]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[{"name":"University of Minnesota, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"P.\n       \n      Bostr\u00f6m\n    .\n      \n  \n   \n  Contract-based verification of simulink models. In S. Qin and Z. Qiu editors Formal Methods and Software Engineering volume \n  6991\n   of \n  Lecture Notes in Computer Science pages 291\u2013\n  306\n  . Springer Berlin Heidelberg 2011.   P. Bostr\u00f6m. Contract-based verification of simulink models. In S. Qin and Z. Qiu editors Formal Methods and Software Engineering volume 6991 of Lecture Notes in Computer Science pages 291\u2013306. Springer Berlin Heidelberg 2011.","DOI":"10.1007\/978-3-642-24559-6_21"},{"key":"e_1_3_2_1_2_1","unstructured":"Esterel-Technologies. SCADE Suite product description. http:\/\/www.esterel-technologies.com\/v2\/ scadeSuiteForSafetyCriticalSoftwareDevelopment\/index.html 2004.  Esterel-Technologies. SCADE Suite product description. http:\/\/www.esterel-technologies.com\/v2\/ scadeSuiteForSafetyCriticalSoftwareDevelopment\/index.html 2004."},{"key":"e_1_3_2_1_3_1","unstructured":"U. Food and D. Administration. White Paper: Infusion Pump Improvement Initiative. April 2010.  U. Food and D. Administration. White Paper: Infusion Pump Improvement Initiative. April 2010."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487884"},{"volume-title":"Sixth International Symp. on Lucid and Intensional Programming, ISLIP\u201993","year":"1993","author":"Halbwachs N.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"N.\n       \n      Halbwachs\n     and \n      \n      \n      P.\n       \n      Raymond\n      \n  \n  . \n  Validation of synchronous reactive systems: From formal verification to automatic testing. In P. Thiagarajan and R. Yap editors Advances in Computing Science \u02da U ASIAN\u02c7 S99 volume \n  1742\n   of \n  Lecture Notes in Computer Science pages 1\u2013\n  12\n  . Springer Berlin Heidelberg 1999.   N. Halbwachs and P. Raymond. Validation of synchronous reactive systems: From formal verification to automatic testing. In P. Thiagarajan and R. Yap editors Advances in Computing Science \u02da U ASIAN\u02c7 S99 volume 1742 of Lecture Notes in Computer Science pages 1\u201312. Springer Berlin Heidelberg 1999.","DOI":"10.1007\/3-540-46674-6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TwinPeaks.2013.6614716"},{"key":"e_1_3_2_1_9_1","unstructured":"Mathworks advisory board core modeling guidelines. http:\/\/www.mathworks.com\/automotive\/standards\/ maab.html.  Mathworks advisory board core modeling guidelines. http:\/\/www.mathworks.com\/automotive\/standards\/ maab.html."},{"key":"e_1_3_2_1_10_1","unstructured":"Mathworks Inc. Polyspace. Via the world-wide-web: http:\/\/www.mathworks.com\/polyspace.  Mathworks Inc. Polyspace. Via the world-wide-web: http:\/\/www.mathworks.com\/polyspace."},{"key":"e_1_3_2_1_11_1","unstructured":"Mathworks Inc. Simulink. http:\/\/www.mathworks.com\/products\/simulink.  Mathworks Inc. Simulink. http:\/\/www.mathworks.com\/products\/simulink."},{"key":"e_1_3_2_1_12_1","unstructured":"Mathworks Inc. Simulink Design Verifier. http:\/\/www.mathworks.com\/products\/sldesignverifier.  Mathworks Inc. Simulink Design Verifier. http:\/\/www.mathworks.com\/products\/sldesignverifier."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2013.6595290"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527272"},{"volume-title":"Fabienne Lagnier. Synchronous Observers and the Verification of Reactive Systems. In Third International Conference on Algebraic Methodology and Software Technology, AMAST\u201993","year":"1993","author":"Nicolas Halbwachs P. R.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","unstructured":"Reactive systems inc. Reactis Product Description. http:\/\/www.reactive-systems.com\/index.msp.  Reactive systems inc. Reactis Product Description. http:\/\/www.reactive-systems.com\/index.msp."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.173"}],"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 6th International Workshop on Modeling in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593770.2593776","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593770.2593776","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\/2593770.2593776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":17,"alternative-id":["10.1145\/2593770.2593776","10.1145\/2593770"],"URL":"https:\/\/doi.org\/10.1145\/2593770.2593776","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}