{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:08Z","timestamp":1725558908575},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202233"},{"type":"electronic","value":"9783540452126"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_7","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T20:42:51Z","timestamp":1277844171000},"page":"84-99","source":"Crossref","is-referenced-by-count":28,"title":["Translating Discrete-Time Simulink to Lustre"],"prefix":"10.1007","author":[{"given":"Paul","family":"Caspi","sequence":"first","affiliation":[]},{"given":"Adrian","family":"Curic","sequence":"additional","affiliation":[]},{"given":"Aude","family":"Maignan","sequence":"additional","affiliation":[]},{"given":"Christos","family":"Sofronis","sequence":"additional","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Asarin, E., Dang, T., Esteban, J.: Simulation of hybrid automata using Matlab\/Simulink. Technical report, Verimag (2003)"},{"key":"7_CR2","volume-title":"Computer Controlled Systems","author":"K.J. \u00c5str\u00f6m","year":"1984","unstructured":"\u00c5str\u00f6m, K.J., Wittenmark, B.: Computer Controlled Systems. Prentice-Hall, Englewood Cliffs (1984)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating Discrete-Time Simulink to Lustre. Verimag Research Report (July 2003)","DOI":"10.1007\/978-3-540-45212-6_7"},{"key":"7_CR4","volume-title":"Languages, Compilers, and Tools for Embedded Systems (LCTES 2003)","author":"P. Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to SCADE\/Lustre to TTA: a layered approach for distributed embedded applications. In: Languages, Compilers, and Tools for Embedded Systems (LCTES 2003), ACM, New York (2003)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: ACM SIGPLAN International Conference on Functional Programming, pp. 226\u2013238 (1996)","DOI":"10.1145\/232629.232651"},{"key":"7_CR6","unstructured":"Cervin, A., Henriksson, D., Lincoln, B., \u00c5rz\u00e9n, K.-E.: Jitterbug and Truetime: Analysis tools for real-time control systems. In: Proceedings of the 2nd Workshop on Real-Time Tools, Copenhagen, Denmark (August 2002)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. Automatic Control 48(1) (2003)","DOI":"10.1109\/TAC.2002.806655"},{"issue":"9","key":"7_CR8","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"Le Guernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with signal. Proc. of the IEEE\u00a079(9), 1321\u20131336 (1991)","journal-title":"Proc. of the IEEE"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language Lustre. Proceedings of the IEEE 79(9) (September 1991)","DOI":"10.1109\/5.97300"},{"key":"7_CR10","unstructured":"Jersak, M., Ziegenbein, D., Wolf, F., Richter, K., Ernst, R., Cieslog, F., Teich, J., Strehl, K., Thiele, L.: Embedded system design using the SPI workbench. In: Proc. of the 3rd International Forum on Design Languages (2000)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-36579-6_9","volume-title":"Compiler Construction","author":"P.G. Joisha","year":"2003","unstructured":"Joisha, P.G., Banerjee, P.: The MAGICA type inference engine for MATLAB. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 121\u2013125. Springer, Heidelberg (2003)"},{"key":"7_CR12","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Proc. of the IFIP Congress (1974)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Embedded Software","author":"C.M. Kirsch","year":"2002","unstructured":"Kirsch, C.M., Sanvido, M.A., Henzinger, T.A., Pree, W.: Giotto-based helicopter control system. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proceedings of the IEEE 75 (1987)","DOI":"10.1109\/PROC.1987.13876"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Lee, E., Parks, T.: Dataflow process networks. Proceedings of the IEEE, 773\u2013799 (May 1995)","DOI":"10.1109\/5.381846"},{"key":"7_CR16","unstructured":"Neema, S.: Simulink and Stateflow data model. Technical report, ISIS, Vanderbilt University (2001)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Ratel, C., Halbwachs, N., Raymond, P.: Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. In: ACM-SIGSOFT Conference on Software for Critical Systems (1991)","DOI":"10.1145\/125083.123062"},{"key":"7_CR18","unstructured":"Raymond, P., Weber, D., Nicollin, X., Halbwachs, N.: Automatic testing of reactive systems. In: 19th IEEE Real-Time Systems Symposium, Madrid, Spain (December 1998)"},{"key":"7_CR19","unstructured":"Silva, B.I., Richeson, K., Krogh, B.H., Chutinan, A.: Modeling and verifying hybrid dynamical systems using CheckMate. In: ADPM (2000)"},{"key":"7_CR20","unstructured":"Sims, S., Butts, K., Cleaveland, R., Ranville, S.: Automated validation of software models. In: ASE (2001)"},{"key":"7_CR21","unstructured":"Tiwari, A.: Formal semantics and analysis methods for Simulink Stateflow models. Technical report, SRI International (2002)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-45352-0_13","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S. Tudoret","year":"2000","unstructured":"Tudoret, S., Nadjm-Tehrani, S., Benveniste, A., Stromberg, J.-E.: Co-simulation of hybrid systems: Signal-Simulink. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, p. 134. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:27:09Z","timestamp":1558294029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}