{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:33:46Z","timestamp":1770431626814,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T00:00:00Z","timestamp":1096243200000},"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":[[2004,9,27]]},"DOI":"10.1145\/1017753.1017795","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"259-268","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":67,"title":["Defining and translating a \"safe\" subset of simulink\/stateflow into lustre"],"prefix":"10.1145","author":[{"given":"N.","family":"Scaife","sequence":"first","affiliation":[{"name":"VERIMAG, Gieres, France"}]},{"given":"C.","family":"Sofronis","sequence":"additional","affiliation":[{"name":"VERIMAG, Gieres, France"}]},{"given":"P.","family":"Caspi","sequence":"additional","affiliation":[{"name":"VERIMAG, Gieres, France"}]},{"given":"S.","family":"Tripakis","sequence":"additional","affiliation":[{"name":"VERIMAG, Gieres, France"}]},{"given":"F.","family":"Maraninchi","sequence":"additional","affiliation":[{"name":"VERIMAG, Gieres, France"}]}],"member":"320","published-online":{"date-parts":[[2004,9,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.1999.808712"},{"key":"e_1_3_2_1_2_1","first-page":"187","volume-title":"LFM 2000: Fifth NASA Langley Formal Methods Workshop","author":"Bensalem S.","year":"2000","unstructured":"S. Bensalem , V. Ganesh , Y. Lakhnech , C. M. Noz , S. Owre , H. Rue\u00df , J. Rushby , V. Rusu , H. Sa\u00efdi , N. Shankar , E. Singerman , and A. Tiwari . An overview of SAL. In C. M. Holloway, editor , LFM 2000: Fifth NASA Langley Formal Methods Workshop , pages 187 -- 196 , Hampton, VA , Jun 2000 .]] S. Bensalem, V. Ganesh, Y. Lakhnech, C. M. Noz, S. Owre, H. Rue\u00df, J. Rushby, V. Rusu, H. Sa\u00efdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187--196, Hampton, VA, Jun 2000.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_4_1","volume-title":"Translating discrete-time Simulink to Lustre","author":"Caspi P.","year":"2003","unstructured":"P. Caspi , A. Curic , A. Maignan , C. Sofronis , and S. Tripakis . Translating discrete-time Simulink to Lustre . In R. Alur and I. Lee, editors, EMSOFT'03, LNCS. Springer Verlag , 2003 .]] P. Caspi, A. Curic, A. Maignan, C. Sofronis, and S. Tripakis. Translating discrete-time Simulink to Lustre. In R. Alur and I. Lee, editors, EMSOFT'03, LNCS. Springer Verlag, 2003.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_3_2_1_6_1","volume-title":"Structured Analysis Using Matlab\/Simulink\/Stateflow - Modeling Style Guidelines. Technical report","year":"1999","unstructured":"Ford. Structured Analysis Using Matlab\/Simulink\/Stateflow - Modeling Style Guidelines. Technical report , Ford Motor Company , 1999 .]] Ford. Structured Analysis Using Matlab\/Simulink\/Stateflow - Modeling Style Guidelines. Technical report, Ford Motor Company, 1999.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_8_1","first-page":"83","volume-title":"Algebraic Methodology and Software Technology","author":"Halbwachs N.","year":"1993","unstructured":"N. Halbwachs , F. Lagnier , and P. Raymond . Synchronous Observers and the Verification of Reactive Systems . In Algebraic Methodology and Software Technology , pages 83 -- 96 , 1993 .]] N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous Observers and the Verification of Reactive Systems. In Algebraic Methodology and Software Technology, pages 83--96, 1993.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_17"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/647168.718127"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355062"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646844.706801"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(01)00016-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646064.676480"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646186.683237"},{"key":"e_1_3_2_1_18_1","unstructured":"A. Tiwari. Formal semantics and analysis methods for Simulink Stateflow models. Technical report http:\/\/www.csl.sri.com\/~tiwari\/stateflow.html.]]  A. Tiwari. Formal semantics and analysis methods for Simulink Stateflow models. Technical report http:\/\/www.csl.sri.com\/~tiwari\/stateflow.html.]]"}],"event":{"name":"EMSOFT04: Fourth ACM International Conference on Embedded Software 2004","location":"Pisa Italy","acronym":"EMSOFT04","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 4th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017753.1017795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:46Z","timestamp":1750282606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,27]]},"references-count":17,"alternative-id":["10.1145\/1017753.1017795","10.1145\/1017753"],"URL":"https:\/\/doi.org\/10.1145\/1017753.1017795","relation":{},"subject":[],"published":{"date-parts":[[2004,9,27]]},"assertion":[{"value":"2004-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}