{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:48:24Z","timestamp":1764305304359},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642412011"},{"type":"electronic","value":"9783642412028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_3","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T01:11:19Z","timestamp":1382317879000},"page":"20-35","source":"Crossref","is-referenced-by-count":7,"title":["Boundness Issues in CCSL Specifications"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"first","affiliation":[]},{"given":"Jean-Viven","family":"Millo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"OMG: UML Profile for MARTE, v1.0. Object Management Group. (November 2009) formal\/2009-11-02"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 559\u2013573. Springer, Heidelberg (2007)"},{"key":"3_CR3","unstructured":"Andr\u00e9, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research Report 6925, INRIA (May 2009)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J. DeAntoni","year":"2012","unstructured":"DeAntoni, J., Mallet, F.: Timesquare: Treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 34\u201341. Springer, Heidelberg (2012)"},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","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., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. of the IEEE\u00a091(1), 64\u201383 (2003)","journal-title":"Proc. of the IEEE"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P. Guernic Le","year":"2003","unstructured":"Le Guernic, P., Talpin, J.P., Le Lann, J.C.: Polychrony for system design. Journal of Circuits, Systems, and Computers\u00a012(3), 261\u2013304 (2003)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"12","key":"3_CR7","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\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3_CR8","unstructured":"Arnold, A.: Finite transition systems - semantics of communicating systems. Int. Series in Computer Science. Prentice Hall (1994)"},{"key":"3_CR9","unstructured":"Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Buck, J.T.: Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model. PhD thesis, U.C. Berkeley (1993)","DOI":"10.1109\/ICASSP.1993.319147"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"Commoner, F., Holt, A.W., Even, S., Pnueli, A.: Marked directed graphs. J. Comput. Syst. Sci.\u00a05(5), 511\u2013523 (1971)","journal-title":"J. Comput. Syst. Sci."},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E. Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proceedings of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"3_CR13","unstructured":"Feiler, P.H., Hansson, J.: Flow latency analysis with the architecture analysis and design language. Technical Report CMU\/SEI-2007-TN-010, CMU (June 2007)"},{"key":"3_CR14","unstructured":"Society of Automotive Engineers, SAE Architecture Analysis and Design Language (AADL) (June 2006) document number: AS5506\/1"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Yin, L., Mallet, F., Liu, J.: Verification of MARTE\/CCSL time requirements in Promela\/SPIN. In: ICECCS, pp. 65\u201374. IEEE Computer Society (2011)","DOI":"10.1109\/ICECCS.2011.14"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Gascon, R., Mallet, F., DeAntoni, J.: Logical time and temporal logics: Comparing UML MARTE\/CCSL and PSL. In: Combi, C., Leucker, M., Wolter, F. (eds.) TIME, pp. 141\u2013148. IEEE (2011)","DOI":"10.1109\/TIME.2011.10"},{"key":"3_CR17","unstructured":"Romenska, Y., Mallet, F.: Lazy parallel synchronous composition of infinite transition systems. In: ICTERI. CEUR Workshop Proc., vol.\u00a01000, pp. 130\u2013145 (2013)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times: A tool for schedulability analysis and code generation of real-time systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 60\u201372. Springer, Heidelberg (2004)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/978-3-540-24730-2_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Kr\u010d\u00e1l","year":"2004","unstructured":"Kr\u010d\u00e1l, P., Yi, W.: Decidable and undecidable problems in schedulability analysis using timed automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 236\u2013250. Springer, Heidelberg (2004)"},{"issue":"2","key":"3_CR20","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y. Abdeddaim","year":"2006","unstructured":"Abdeddaim, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theoretical Computer Science\u00a0354(2), 272\u2013300 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Alur, R., Weiss, G.: Regular specifications of resource requirements for embedded control software. In: IEEE Real-Time and Embedded Technology and Applications Symp., pp. 159\u2013168. IEEE CS (2008)","DOI":"10.1109\/RTAS.2008.13"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Alur, R., Weiss, G.: Rtcomposer:a framework for real-time components with scheduling interfaces. In: Int. Conf. on Embedded Software, EMSOFT 2008, pp. 159\u2013168. ACM (2008)","DOI":"10.1145\/1450058.1450080"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T17:29:01Z","timestamp":1558632541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}