{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T19:10:02Z","timestamp":1737054602802,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540415138"},{"type":"electronic","value":"9783540445555"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44555-2_13","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:15:08Z","timestamp":1180329308000},"page":"150-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Specification, Implementation, and Validation of Object-Oriented Embedded Systems"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Terrier","sequence":"first","affiliation":[]},{"given":"Nikos S.","family":"Voros","sequence":"additional","affiliation":[]},{"given":"Udo","family":"Brockmeyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-49059-0_4","volume-title":"Analyzing stochastic fixed-priority real-time systems","author":"M. K. Gardner","year":"1999","unstructured":"M. K. Gardner, J. W.S. Liu: Analyzing stochastic fixed-priority real-time systems; in: W. Rance Cleaveland, editor, Lecture Notes in Computer Science 1579, pp. 44\u201358; Springer-Verlag, Berlin; 1999"},{"key":"13_CR2","unstructured":"Philipp Lanch\u00e8s et al.: Client\/Server Architecture-Managing New Technologies for Automotive Embedded Systems-A Joint Project of Daimler-Benz & IBM; In Proc. of the 1998 International Congress on Transportation Electronics, No 98C015, pp. 111\u2013120, Warrendale, USA. Society of Automotive Engineers, Inc.; 1998"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Jean-Philippe Babau, Jean Louis Sourrouille \u201cExpressing Real-time Constraints in a Reflective Object Model\u201d Control Engineering Practice Vol 6, pp 421\u2013430.","DOI":"10.1016\/S0967-0661(98)00029-X"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"T. Bienm\u00fcller, W. Damm, and H. Wittke. The Statemate Verification Environment Making it real. In Proceedings of Computer Aided Verification, Chicago,2000.","DOI":"10.1007\/10722167_45"},{"key":"13_CR5","unstructured":"B. P. Douglass, Real-time UML: Developping efficient objects for embedded systems, Addison-Wesley, December, 1998"},{"key":"13_CR6","unstructured":"B.P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frame-works and Patterns. Addison Wesley, 1999."},{"key":"13_CR7","unstructured":"S. G\u00e9rard, \u201cMod\u00e9lisation UML ex\u00e9cutable pour les syst\u00e8mes de lautomobile\u201d, PhD. Report, University of Evry-Val-dEssonne, October 2000."},{"key":"13_CR8","unstructured":"A. Lanusse, S. G\u00e9rard, and F. Terrier, \u201cReal-Time Modeling with UML: The ACCORD Approach\u201d, UML\u201998, Mulhouse, France."},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"Formalising UML state machines for model checking","author":"J. Lilius","year":"1999","unstructured":"Johan Lilius and Ivan Porres Paltor. \u201cFormalising UML state machines for model checking\u201d. In Proceedings of UML\u201999, volume 1723 of LNCS,, pages 430\u2013445,Springer Verlag, 1999."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Johan Lilius and Ivan Porres Paltor. \u201cvUML: a tool for verifying UML models\u201d. In Proceedings of ASE\u201999, pages 255\u2013258. IEEE Computer Society, 1999.","DOI":"10.1109\/ASE.1999.802301"},{"key":"13_CR11","unstructured":"Bran Selic et al., \u201cReal-time Object-oriented Modeling\u201d, John Wiley & Sons, Inc., ISBN: 0471599174, Feb. 1994."},{"key":"13_CR12","unstructured":"Terrier F. et al., \u201cA Real-Time Object Model\u201d, TOOLS EUROPE\u2019 96,, Paris, France, pp.127\u2013141, 1996."},{"key":"13_CR13","unstructured":"Brian Selic, \u201cRFP: UML Profile for Scheduling, Performance, and Time\u201d, Object Management Group document ad\/99-03-13, available through http:\/\/www.omg.org\/techprocess\/meetings\/schedule\/-UML_Profile_for_Scheduling_RFP.html"},{"key":"13_CR14","unstructured":"Tony Clark, Andy Evans, Robert France, Stuart Kent, and Bernard Rumpe, \u201cResponse to UML 2.0 Request for Information\u201d, submitted by the precise UML group, available as http:\/\/www.cs.york.ac.uk\/puml\/papers\/RFIResponse.PDF"},{"key":"13_CR15","unstructured":"Jim Rumbaugh and Bran Selic, \u201cUsing UML for Modeling Complex Real-Time Systems\u201d, \u201cWhite paper\u201d available at http:\/\/www.objectime.com\/otl\/-technical\/umlrt.pdf"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44555-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:34:39Z","timestamp":1737052479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44555-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540415138","9783540445555"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44555-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}