{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T02:46:45Z","timestamp":1777690005627,"version":"3.51.4"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,12,16]],"date-time":"2010-12-16T00:00:00Z","timestamp":1292457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10626-010-0096-1","type":"journal-article","created":{"date-parts":[[2010,12,15]],"date-time":"2010-12-15T18:52:32Z","timestamp":1292439152000},"page":"223-247","source":"Crossref","is-referenced-by-count":28,"title":["Semantic Translation of Simulink Diagrams to Input\/Output Extended Finite Automata"],"prefix":"10.1007","volume":"22","author":[{"given":"Changyan","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Ratnesh","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,12,16]]},"reference":[{"key":"96_CR1","first-page":"43","volume":"109","author":"A Agrawal","year":"2004","unstructured":"Agrawal A, Simon G, Karsai G (2004) Semantic translation of Simulink\/stateflow models to hybrid automata using graph transformations. ENTCS 109:43\u201356","journal-title":"ENTCS"},{"key":"96_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/1450058.1450071","volume-title":"EMSOFT \u201908: proceedings of the 7th ACM international conference on embedded software","author":"R Alur","year":"2008","unstructured":"Alur R, Kanade A, Ramesh S, Shashidhar KC (2008) Symbolic analysis for improving simulation coverage of Simulink\/stateflow models. In: EMSOFT \u201908: proceedings of the 7th ACM international conference on embedded software. ACM, New York, pp\u00a089\u201398"},{"issue":"7","key":"96_CR3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/780731.780754","volume":"38","author":"P Caspi","year":"2003","unstructured":"Caspi P, Curic A, Maignan A, Sofronis C, Tripakis S, Niebert P (2003) From Simulink to scade\/lustre to tta: a layered approach for distributed embedded applications. SIGPLAN Not. 38(7):153\u2013162","journal-title":"SIGPLAN Not."},{"key":"96_CR4","unstructured":"Gadkari A, Mohalik S, Shashidhar KC, Suresh J, Yeolekar A, Ramesh S (2007) Automatic generation of test cases using model checking for sl\/sf models. In: 4th international workshop on model-driven engineering, verification, and validation. Nashville, Tennessee"},{"key":"96_CR5","unstructured":"Jersak M, Ziegenbein D, Wolf F, Richter K, Ernst R, Cieslog F, Teich J, Strehl K, Thiele L (2000) Embedded system design using the spi workbench. In: Proc. of the 3rd international forum on design languages"},{"key":"96_CR6","doi-asserted-by":"crossref","unstructured":"Kumar R, Zhou C, Basu S (2006) Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. In: Proceedings of the 25th American control conference. Minneapolis, pp\u00a06057\u20136062","DOI":"10.1109\/ACC.2006.1657692"},{"issue":"8","key":"96_CR7","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee D, Yannakakis M (1996) Principles and methods of testing finite state machines\u2014a survey. Proc IEEE 84(8):1090\u20131123","journal-title":"Proc IEEE"},{"key":"96_CR8","unstructured":"Lublinerman R, Szegedy C, Tripakis S (2009) Modular code generation from synchronous block diagrams\u2014modularity vs. code size. In: POPL\u201909"},{"key":"96_CR9","doi-asserted-by":"crossref","unstructured":"Lublinerman R, Tripakis S (2008a) Modular code generation from triggered and timed block diagrams. In: Real-time and embedded technology and applications symposium (RTAS\u201908)","DOI":"10.1109\/RTAS.2008.12"},{"key":"96_CR10","doi-asserted-by":"crossref","unstructured":"Lublinerman R, Tripakis S (2008b) Modularity vs. reusability: code generation from synchronous block diagrams. In: Design, automation and test in Europe (DATE\u201908)","DOI":"10.1145\/1403375.1403736"},{"key":"96_CR11","unstructured":"Sal homepage (2010) http:\/\/sal.csl.sri.com\/ . Accessed 24 Aug 2010"},{"key":"96_CR12","doi-asserted-by":"crossref","unstructured":"Scaife N, Sofronis C, Caspi P, Tripakis S, Maraninchi F (2004) Defining and translating a \u201csafe\u201d subset of Simulink\/stateflow into lustre. In: Proc. EMSOFT\u201904","DOI":"10.1145\/1017753.1017795"},{"key":"96_CR13","unstructured":"Simulink (2010) http:\/\/www.mathworks.com\/products\/simulink\/"},{"issue":"6","key":"96_CR14","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1002\/scj.20264","volume":"37","author":"T Takenaka","year":"2006","unstructured":"Takenaka T, Okano K, Higashino T, Taniguchi K (2006) Symbolic model checking of extended finite state machines with linear constraints over integer variables. Syst Comput Jpn 37(6):64\u201372","journal-title":"Syst Comput Jpn"},{"issue":"4","key":"96_CR15","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1145\/1113830.1113834","volume":"4","author":"S Tripakis","year":"2005","unstructured":"Tripakis S, Sofronis C, Caspi P, Curic A (2005) Translating discrete-time Simulink to lustre. ACM Trans Embed Comput Syst 4(4):779\u2013818","journal-title":"ACM Trans Embed Comput Syst"},{"key":"96_CR16","doi-asserted-by":"crossref","unstructured":"Zhou C, Kumar R (2009) On identification of input\/output extened automata with finite bisimilar quotients. In: 2009 American Control Conference. St.\u00a0Louis, MO","DOI":"10.1109\/ACC.2009.5160198"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-010-0096-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-010-0096-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-010-0096-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T03:33:44Z","timestamp":1559878424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-010-0096-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,16]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["96"],"URL":"https:\/\/doi.org\/10.1007\/s10626-010-0096-1","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,16]]}}}