{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:29:50Z","timestamp":1743002990869,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204916"},{"type":"electronic","value":"9783540399582"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39958-2_15","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"214-228","source":"Crossref","is-referenced-by-count":1,"title":["New Operators for the TURTLE Real-Time UML Profile"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Lohr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Courtiat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45441-1_22","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Apvrille","year":"2001","unstructured":"Apvrille, L., de Saqui-Sannes, P., Lohr, C., S\u00e9nac, P., Courtiat, J.-P.: A New UML Profile for Real-time System Formal Design and Validation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 287. Springer, Heidelberg (2001)"},{"key":"15_CR2","unstructured":"Apvrille, L.: Contribution to Dynamic Reconfiguration of Embedded Real-Time Software: Application to a Satellite Telecommunication Environment, Ph.D. dissertation (June 2002) (in French)"},{"key":"15_CR3","unstructured":"Apvrille, L., de Saqui-Sannes, P., Khendek, F.: TURTLE-P: a UML Profile for Distributed architecture Validation (submitted for publication) (in French)"},{"issue":"12","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1016\/S0140-3664(99)00240-6","volume":"23","author":"J.-P. Courtiat","year":"2000","unstructured":"Courtiat, J.-P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique. Computer Communications\u00a023(12), 1104\u20131123 (2000)","journal-title":"Computer Communications"},{"key":"15_CR5","unstructured":"Lohr, C.: Contribution to Real-Time System Specification Relying on the Formal Description Technique RT-LOTOS. Ph.D. dissertation (December 2002) (in French)"},{"key":"15_CR6","unstructured":"Hernalsteen, C.: Specification, Validation and Verification of Real-Time Systems in ETLOTOS. Ph.D. thesis, Universit\u00e9 Libre de Bruxelles, Belgium (1998)"},{"key":"15_CR7","unstructured":"Object management Group: Unified Modeling Language Specification, Version 1.4 (2001), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?formal\/01-09-67"},{"key":"15_CR8","unstructured":"Object Management Group: UML Profile for Scheduling, Performance, and Time, Draft Specification, \n                    \n                      ftp:\/\/ftp.omg.org\/pub\/docs\/ptc\/02-03-02.pdf"},{"key":"15_CR9","unstructured":"Real-time LOTOS, \n                    \n                      http:\/\/www.laas.fr\/RT-LOTOS"},{"key":"15_CR10","unstructured":"Terrier, F., G\u00e9rard, S.: Real Time System Modeling with UML: Current Status and Some Prospects. In: Proceedings of the 2nd Workshop of the SDL Forum society on SDL and MSC, SAM 2000, Grenoble, France (2000)"},{"key":"15_CR11","unstructured":"Tau Generation 2, \n                    \n                      http:\/\/www.telelogic.com\/products\/tau\/index3.cfm"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Baldonado, M., Chang, C.-C.K., Gravano, L., Paepcke, A.: UML 2.0. The Stanford Digital Library Metadata Architecture. Int. J. Digit. Libr. 1, 108\u2013121 (1997), \n                    \n                      http:\/\/www.u2-partners.org","DOI":"10.1007\/s007990050008"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T05:26:26Z","timestamp":1553318786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}