{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T04:57:35Z","timestamp":1782622655726,"version":"3.54.5"},"publisher-location":"Wiesbaden","reference-count":29,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"value":"9783658099930","type":"print"},{"value":"9783658099947","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-658-09994-7_2","type":"book-chapter","created":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T07:56:17Z","timestamp":1433490977000},"page":"26-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["MARTE\/CCSL for Modeling Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,6,6]]},"reference":[{"key":"2_CR1","unstructured":"Andr\u00e9, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA (May 2009), http:\/\/hal.inria.fr\/inria-00384077\/"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., DeAntoni, J., Mallet, F., de Simone, R.: The Time Model of Logical Clocks available in the OMG MARTE profile, chap. 7, pp.\u00a0201\u2013227. Springer Science+Business Media, LLC 2010 (July 2010), http:\/\/hal.inria.fr\/inria-00495664","DOI":"10.1007\/978-1-4419-6400-7_7"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: 10th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS \u201907). pp.\u00a0559-573. No. 4735 in LNCS, ACM-IEEE, Springer, Nashville, TN, USA (September 2007)","DOI":"10.1007\/978-3-540-75209-7_38"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64\u201383 (Jan 2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Berry, G., Cosserat, L.: The ESTEREL synchronous programming language and its mathematical semantics. In: Seminar on Concurrency. Lecture Notes in Computer Science, vol.\u00a0197, pp.\u00a0389\u2013448. Springer (1984), http:\/\/dx.doi.org\/10.1007\/3-540-15670-4_19","DOI":"10.1007\/3-540-15670-4_19"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Boulanger, F., Dogui, A., Hardebolle, C., Jacquet, C., Marcadet, D., Prodan, I.: Semantic adaptation using CCSL clock constraints. ECEASST 50 (2011), http:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/731","DOI":"10.1007\/978-3-642-29645-1_12"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Combemale, B., DeAntoni, J., Larsen, M.V., Mallet, F., Barais, O., Baudry, B., France, R.B.: Reifying concurrency for executable metamodeling. In: 6th Int. Conf. on Software Language Engineering \u2013 SLE 2013. Lecture Notes in Computer Science, vol.\u00a08225, pp.\u00a0365\u2013384. Springer (October 2013)","DOI":"10.1007\/978-3-319-02654-1_20"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Deantoni, J., Mallet, F.: Timesquare: Treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS (50). Lecture Notes in Computer Science, vol.\u00a07304, pp.\u00a034\u201341. Springer (2012)","DOI":"10.1007\/978-3-642-30561-0_4"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling cyberphysical systems. Proceedings of the IEEE 100(1), 13\u201328 (2012), http:\/\/dx.doi.org\/10.1109\/JPROC.2011.2160929","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"2_CR10","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. MK\/OMG (2014)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Glitia, C., DeAntoni, J., Mallet, F., Millo, J., Boulet, P., Gamatie, A.: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Design Autom. for Emb. Sys. 16(2), 137\u2013169 (2012), http:\/\/dx.doi.org\/10.1007\/s10617-012-9093-y","DOI":"10.1007\/s10617-012-9093-y"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Jimenez, J.F., Giron-Sierra, J.M., Insaurralde, C., Seminario, M.:A simulation of aircraft fuel management system. Simulation Modelling Practice and Theory 15(5), 544\u2013564 (2007), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1569190X07000160","DOI":"10.1016\/j.simpat.2007.01.007"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Khecharem, A., Gomez, C., DeAntoni, J., Mallet, F., de Simone, R.: Execution of heterogeneous models for thermal analysis with a multi-view approach. In: Forum on specification and Design Languages (FDL\u201914) (2014)","DOI":"10.1109\/FDL.2014.7119366"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Koch, T., Holtmann, J., DeAntoni, J.: Generating EAST-ADL event chains from scenario-based requirements specifications. In: Software Architecture \u2013 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings. Lecture Notes in Computer Science, vol.\u00a08627, pp.\u00a0146-153. Springer (2014)","DOI":"10.1007\/978-3-319-09970-5_14"},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L. Lamport","year":"1974","unstructured":"Lamport, L.: The parallel execution of do loops. Communications of ACM 17(2), 83\u201393 (1974)","journal-title":"Communications of ACM"},{"issue":"12","key":"2_CR16","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17(12), 1217\u20131229 (December 1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: Design challenges. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008). pp.\u00a0363-369. IEEE Computer Society (May 2008), http:\/\/dx.doi.org\/10.1109\/ISORC.2008.25","DOI":"10.1109\/ISORC.2008.25"},{"key":"2_CR18","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems \u2013 A Cyber-Physical Systems Approach. LeeSeshia.org (2014), iSBN 978-0-557-70857-4"},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11704-012-1301-1","volume":"7","author":"J. Liu","year":"2013","unstructured":"Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Frontiers of Computer Science 7(1), 95\u2013108 (2013)","journal-title":"Frontiers of Computer Science"},{"key":"2_CR20","unstructured":"Mallet, F.: Logical Time @ Work for the Modeling and Analysis of Embedded Systems. LAMBERT Academic Publishing (January 2011), iSBN: 978-3-8433-9388-1."},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11334-008-0055-2","volume":"4","author":"F. Mallet","year":"2008","unstructured":"Mallet, F., Andr\u00e9, C., de Simone, R.: CCSL: specifying clock constraints with UML\/Marte. Innovations in Systems and Software Engineering 4(3), 309\u2013314 (2008)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"2_CR22","unstructured":"Mallet, F., Millo, J.V., de Simone, R.: Safe CCSL specifications and marked graphs. In: 11th ACM\/IEEE Int. Conf. on Formal Methods and Models for Codesign. pp.\u00a0157\u2013166. IEEE (2013)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Mallet, F., de Simone, R.: Correctness issues on MARTE\/CCSL constraints. Science of Computer Programming (2015), DOI: 10.1016\/j.scico.2015.03.001","DOI":"10.1016\/j.scico.2015.03.001"},{"key":"2_CR24","unstructured":"OMG: UML Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group (January 2005), formal\/05-01\u201302"},{"key":"2_CR25","unstructured":"OMG: UML Profile for MARTE, v1.1. Object Management Group (June 2011), formal\/2011-06\u201302"},{"key":"2_CR26","unstructured":"OMG: UML Superstructure, v2.4.1. Object Management Group (May 2012), formal\/12-05\u201307"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Peters, J., Wille, R., Drechsler, R.: Generating SystemC implementations for clock constraints specified in UML\/MARTE CCSL. In: 2014 19th International Conference on Engineering of Complex Computer Systems. pp.\u00a0116\u2013125. IEEE (2014), http:\/\/dx.doi.org\/10.1109\/ICECCS.2014.24","DOI":"10.1109\/ICECCS.2014.24"},{"key":"2_CR28","unstructured":"Selic, B., Gerard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Elsevier (2013)"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Yu, H., Talpin, J., Besnard, L., Gautier, T., Marchand, H., Guernic, P.L.: Polychronous controller synthesis from MARTE CCSL timing specifications. In: 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. pp.\u00a021\u201330. IEEE (2011), http:\/\/dx.doi.org\/10.1109\/MEMCOD.2011.5970507","DOI":"10.1109\/MEMCOD.2011.5970507"}],"container-title":["Formal Modeling and Verification of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-09994-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T19:27:12Z","timestamp":1674242832000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-09994-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783658099930","9783658099947"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-09994-7_2","relation":{},"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"6 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}