{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:47:37Z","timestamp":1764305257892},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305603"},{"type":"electronic","value":"9783642305610"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30561-0_4","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T18:31:43Z","timestamp":1337970703000},"page":"34-41","source":"Crossref","is-referenced-by-count":58,"title":["TimeSquare: Treat Your Models with Logical Time"],"prefix":"10.1007","author":[{"given":"Julien","family":"DeAntoni","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Andr\u00e9, C.: Syntax and semantics of the clock constraint specification language (ccsl). Research Report 6925, INRIA (May 2009)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages twelve years later. Proceedings of the IEEE, 64\u201383 (2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Deantoni, J., Mallet, F., Thomas, F., Reydet, G., Babau, J.-P., Mraidha, C., Gauthier, L., Rioux, L., Sordon, N.: RT-simex: retro-analysis of execution traces. In: In, K.J., Sullivan, G.-C. (eds.) SIGSOFT FSE, Santa Fe, \u00c9tats-Unis, pp. 377\u2013378 (2010) ISBN 978-1-60558-791-2","DOI":"10.1145\/1882291.1882357"},{"issue":"8","key":"4_CR4","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C. Fidge","year":"2002","unstructured":"Fidge, C.: Logical time in distributed computing systems. Computer\u00a024(8), 28\u201333 (2002)","journal-title":"Computer"},{"issue":"7","key":"4_CR5","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Yu, H., Talpin, J.-P., Besnard, L., Gautier, T., Mallet, F., Andr\u00e9, C., de Simone, R.: Polychronous analysis of timing constraints in UML MARTE. In: IEEE Int. W. on Model-Based Engineering for Real-Time Embedded Systems Design, Parador of Carmona, Spain, pp. 145\u2013151 (2010)","DOI":"10.1109\/ISORCW.2010.10"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30561-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T19:21:16Z","timestamp":1687461676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30561-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305603","9783642305610"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30561-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}