{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T06:44:44Z","timestamp":1794379484297,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540213055","type":"print"},{"value":"9783540247210","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_17","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:15:12Z","timestamp":1280261712000},"page":"229-243","source":"Crossref","is-referenced-by-count":50,"title":["An Operational Semantics for Stateflow"],"prefix":"10.1007","author":[{"given":"Gr\u00e9goire","family":"Hamon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Rushby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"The Mathworks: Stateflow and Stateflow Coder, User\u2019s Guide. Release 13sp1 edn. (2003)"},{"key":"17_CR2","unstructured":"Ford: Structured analysis and design using Matlab\/Simulink\/Stateflow - modeling style guidelines. Technical report, Ford Motor Company (1999), Available at http:\/\/vehicle.me.berkeley.edu\/mobies\/papers\/stylev242.pdf"},{"key":"17_CR3","unstructured":"Buck, D., Rau, A.: On modelling guidelines: Flowchart patterns for Stateflow. Softwaretechnik-Trends\u00a021 (2001)"},{"key":"17_CR4","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University (1981)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/JPROC.2002.805818","volume":"91","author":"A. Tiwari","year":"2003","unstructured":"Tiwari, A., Shankar, N., Rushby, J.: Invisible formal methods for embedded control systems. Proceedings of the IEEE\u00a091, 29\u201339 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On formal semantics of Statecharts as supported by Statemate. In: 2nd BCS-FACS Northern Formal Methods Workshop, BCS-EWIC (1997)","DOI":"10.14236\/ewic\/FA1997.12"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S1567-8326(01)00012-1","volume":"51","author":"S. Gnesi","year":"2002","unstructured":"Gnesi, S., Latella, D., Massink, M.: Modular semantics for a UML Statechart diagrams kernel and its extension to Multicharts and branching time model checking. The Journal of Logic and Algebraic Programming\u00a051, 43\u201375 (2002)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to Statecharts semantics. In: Rosenblum, D. (ed.) Eighth International ACM Symposium on Foundations of Software Engineering, San Diego, California, pp. 120\u2013129 (2000)","DOI":"10.1145\/357474.355062"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Banphawatthanarak, C., Krogh, B.H., Butts, K.: Symbolic verification of executable control specifications. In: Proceedings of the Tenth IEEE International Symposium on Computer Aided Control System Design, Kohala Coast\u2014Island of Hawai\u2019i, HI, pp. 581\u2013586 (1999)","DOI":"10.1109\/CACSD.1999.808712"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48166-4_10","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 146\u2013162. Springer, Heidelberg (1999)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: 8th Annual IEEE Conference andWorkshop on the Engineering of Computer Based System, ECBS 2001 (2001)","DOI":"10.1109\/ECBS.2001.922409"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-45212-6_7","volume-title":"Embedded Software","author":"P. Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating discretetime Simulink to Lustre. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 84\u201399. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24721-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T14:11:02Z","timestamp":1591539062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_17","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b95935","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}