{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:09:10Z","timestamp":1759032550255},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T00:00:00Z","timestamp":1357689600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s11704-012-1301-1","type":"journal-article","created":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T17:21:58Z","timestamp":1357752118000},"page":"95-108","source":"Crossref","is-referenced-by-count":22,"title":["Hybrid MARTE statecharts"],"prefix":"10.1007","volume":"7","author":[{"given":"Jing","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziwei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,1,9]]},"reference":[{"key":"1301_CR1","unstructured":"UML superstructure specification v2.2. Object Management Group, 2004"},{"key":"1301_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/ISORC.2007.10","volume-title":"Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing","author":"B Selic","year":"2007","unstructured":"Selic B. A systematic approach to domain-specific language design using UML. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. 2007, 2\u20139"},{"key":"1301_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4437-1","volume-title":"Modeling, verification, and exploration of tasklevel concurrency of real-time embedded systems","author":"F Thoen","year":"2000","unstructured":"Thoen F, Catthoor F. Modeling, verification, and exploration of tasklevel concurrency of real-time embedded systems. Kluwer Academic Publishers, 2000"},{"key":"1301_CR4","volume-title":"v1.0. Object Management Group","author":"UML Profile for MARTE","year":"2009","unstructured":"UML Profile for MARTE, v1.0. Object Management Group, 2009"},{"key":"1301_CR5","volume-title":"performance, and time specification, v1.1","author":"UML profile for schedulability","year":"2005","unstructured":"UML profile for schedulability, performance, and time specification, v1.1, 2005"},{"key":"1301_CR6","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume":"4735","author":"C Andr\u00e9","year":"2007","unstructured":"Andr\u00e9 C, Mallet F, De Simone R. Modeling time (s). In: Proceedings of the 10th Internation Conference of Model Driven Engineering Languages and Systems. LNCS, 2007, 4735: 559\u2013573","journal-title":"Proceedings of the 10th Internation Conference of Model Driven Engineering Languages and Systems"},{"issue":"1","key":"1301_CR7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S A, Halbwachs N, Guernic P L, Simoned R. The synchronous languages 12 years later. Proceedings of the IEEE, 2003, 91(1): 64\u201383","journal-title":"Proceedings of the IEEE"},{"key":"1301_CR8","doi-asserted-by":"crossref","unstructured":"Andr\u00e9 C, Mallet F, Peraldi-Frati M. A multiform time approach to realtime system modeling; application to an automotive system. In: Proceedings of the 2007 International Symposium on Industrial Embedded Systems. SIES\u201907. 234\u2013241","DOI":"10.1109\/SIES.2007.4297340"},{"key":"1301_CR9","volume-title":"Syntax and semantics of the clock constraint specification language (CCSL)","author":"C Andr\u00e9","year":"2009","unstructured":"Andr\u00e9 C. Syntax and semantics of the clock constraint specification language (CCSL). 2009"},{"issue":"3","key":"1301_CR10","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11334-008-0055-2","volume":"4","author":"F Mallet","year":"2008","unstructured":"Mallet F. Clock constraint specification language: specifying clock constraints with uml\/marte. Innovations in Systems and Software Engineering, 2008, 4(3): 309\u2013314","journal-title":"Innovations in Systems and Software Engineering"},{"key":"1301_CR11","unstructured":"Schaft V. d A, Schumacher H. An introduction to hybrid dynamical systems (Lecture Notes in Control and Information Sciences, 251). Springer"},{"key":"1301_CR12","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-64358-3_45","volume-title":"Hybrid Systems: Computation and Control","author":"J Lygeros","year":"1998","unstructured":"Lygeros J, Lynch N. Strings of vehicles: modeling and safety conditions. Hybrid Systems: Computation and Control, 1998, 273\u2013288"},{"issue":"12","key":"1301_CR13","doi-asserted-by":"crossref","first-page":"1394","DOI":"10.1016\/j.ic.2008.09.001","volume":"206","author":"A Casagrande","year":"2008","unstructured":"Casagrande A, Piazza C, Policriti A, Mishra B. Inclusion dynamics hybrid automata. Information and Computation, 2008, 206(12): 1394\u20131424","journal-title":"Information and Computation"},{"issue":"3","key":"1301_CR14","doi-asserted-by":"crossref","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, 1987, 8(3): 231\u2013274","journal-title":"Science of computer programming"},{"key":"1301_CR15","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-642-02979-0_32","volume-title":"Are statecharts finite automata? Implementation and Application of Automata","author":"H Lu","year":"2009","unstructured":"Lu H, Yu S. Are statecharts finite automata? Implementation and Application of Automata, 2009, 258\u2013261"},{"key":"1301_CR16","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/568760.568799","volume-title":"Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering","author":"J Sourrouille","year":"2002","unstructured":"Sourrouille J, Caplat G. Constraint checking in UML modeling. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering. 2002, 217\u2013224"},{"key":"1301_CR17","first-page":"83","volume-title":"Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics","author":"A Edalat","year":"2006","unstructured":"Edalat A, Krznaric M, Lieutier A. Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics. 2006, 83"},{"key":"1301_CR18","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/ACSD.2005.31","volume-title":"Proceedings of the 5th International Conference on Application of Concurrency to System Design","author":"R Grosu","year":"2005","unstructured":"Grosu R, Smolka S. Safety-liveness semantics for UML 2.0 sequence diagrams. In: Proceedings of the 5th International Conference on Application of Concurrency to System Design. 2005, 6\u201314"},{"key":"1301_CR19","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/3-540-60084-1_93","volume-title":"Automata, Languages and Programming","author":"T Henzinger","year":"1995","unstructured":"Henzinger T, Kopke P, Wong-Toi H. The expressive power of clocks. Automata, Languages and Programming, 1995, 417\u2013428"},{"issue":"3","key":"1301_CR20","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0020-0190(92)90005-G","volume":"43","author":"T Henzinger","year":"1992","unstructured":"Henzinger T. Sooner is safer than later. Information Processing Letters, 1992, 43(3): 135\u2013141","journal-title":"Information Processing Letters"},{"key":"1301_CR21","unstructured":"IEEE recommended practice for communications-based train control (CBTC) system design and functional allocations, 2008. IEEE Std 1474.3-2008"},{"key":"1301_CR22","first-page":"11","volume-title":"Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT)","author":"E Lee","year":"2010","unstructured":"Lee E, Tripakis S. Modal models in ptolemy. In: Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT). 2010, 11\u201321"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-012-1301-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-012-1301-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-012-1301-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T15:55:05Z","timestamp":1644076505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-012-1301-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,9]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["1301"],"URL":"https:\/\/doi.org\/10.1007\/s11704-012-1301-1","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,9]]}}}