{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:10:58Z","timestamp":1761487858404},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437840"},{"type":"electronic","value":"9783540480464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48046-3_22","type":"book-chapter","created":{"date-parts":[[2007,6,13]],"date-time":"2007-06-13T00:48:07Z","timestamp":1181695687000},"page":"282-296","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components"],"prefix":"10.1007","author":[{"given":"Julio L.","family":"Medina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Javier","family":"Guti\u00e9rrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 M.","family":"Drake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael Gonz\u00e1lez","family":"Harbour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"S. Tucker Taft, and R.A. Duff (Eds.) \u201cAda 95 Reference Manual. Language and Standard Libraries\u201d. International Standard ISO\/IEC 8652:1995(E), in LNCS 1246, Springer, 1997.","DOI":"10.1007\/BFb0034910"},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BFb0054995","volume-title":"Intl. Conf. on Reliable Software Technologies, Ada-Europe\u201998","author":"L. Pautet","year":"1998","unstructured":"L. Pautet and S. Tardieu, \u201cInside the Distributed Systems Annex\u201d, Intl. Conf. on Reliable Software Technologies, Ada-Europe\u201998, Uppsala, Sweden, in LNCS 1411, Springer, pp. 65\u201377, June 1998."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"L. Pautet and S. Tardieu: \u201cGLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. Proc. of the 3rd IEEE\u201d. Intl. Symposium on Object-Oriented Real-Time Distributed Computing, (ISORC\u201900) Newport Beach, USA, March 2000.","DOI":"10.1109\/ISORC.2000.839536"},{"key":"22_CR4","unstructured":"Lu\u00eds Miguel Pinho, \u201cDistributed and Real-Time: Session summary\u201d, 10th.Intl. Real-Time Ada Workshop, IRTAW\u201901, \u00c1vila, Spain, in Ada Letters, Vol. XXI, Number 1, March 2001."},{"key":"22_CR5","unstructured":"Ada-Core Technologies, Ada 95 GNAT Pro, http:\/\/ www.gnat.com\/"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/334725.334741","volume":"XIX","author":"J.J. G. Garc\u00eda","year":"1999","unstructured":"J.J. Guti\u00e9rrez Garc\u00eda, and M. Gonz\u00e1lez Harbour: \u201cPrioritizing Remote Procedure Calls in Ada Distributed Systems\u201d, ACM Ada Letters, XIX, 2, pp. 67\u201372, June 1999.","journal-title":"ACM Ada Letters"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/374369.374383","volume":"XXI","author":"J.J. G. Garc\u00eda","year":"2001","unstructured":"J.J. Guti\u00e9rrez Garc\u00eda, and M. Gonz\u00e1lez Harbour: \u201cTowards a Real-Time Distributed Systems Annex in Ada\u201d, ACM Ada Letters, XXI, 1, pp. 62\u201366, March 2001.","journal-title":"ACM Ada Letters"},{"key":"22_CR8","unstructured":"M. Gonz\u00e1lez Harbour, J.J. Guti\u00e9rrez, J.C. Palencia and J.M. Drake: \u201cMAST: Modeling and Analysis Suite for Real-Time Applications\u201d Proceedings of the Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001."},{"key":"22_CR9","unstructured":"J.L. Medina, M. Gonz\u00e1lez Harbour, and J.M. Drake: \u201cMAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems\u201d RTSS\u201901, London, December, 2001"},{"key":"22_CR10","unstructured":"J.C. Palencia, and M. Gonz\u00e1lez Harbour, \u201cExploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems\u201d. Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48046-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T02:21:50Z","timestamp":1707963710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48046-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437840","9783540480464"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48046-3_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}