{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:25Z","timestamp":1725487105057},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-48213-x_14","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:01:14Z","timestamp":1183399274000},"page":"223-240","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Timed Extensions for SDL"],"prefix":"10.1007","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[]},{"given":"Susanne","family":"Graf","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[]},{"given":"Jean-Luc","family":"Roux","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Vincent","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BFb0028754","volume-title":"Proceedings of CAV\u201998(Vancouver, Canada)","author":"P. Abdulla","year":"1998","unstructured":"P. Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly Analysis of Systems with Unbounded, Lossy Fifo Channels. In A. Hu and M. Vardi, editors, Proceedings of CAV\u201998 (Vancouver, Canada), volume 1427 of LNCS, pages 305\u2013318. Springer, June 1998."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"B. Algayres, Y. Lejeune, and F. Hugonnet. GOAL: Observing SDL Behaviors with GEODE. In Proceedings of SDL FORUM\u201995. Elsevier, 1995.","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-45352-0_11","volume-title":"Proceedings of FTRTFT 2000","author":"K. Altisen","year":"2000","unstructured":"K. Altisen, G. G\u00f6\u03b2ler, and J. Sifakis. A Methodology for the Construction of Scheduled Systems. In Mathai Joseph, editor, Proceedings of FTRTFT 2000, number 1926 in LNCS, pages 106\u2013120. Springer-Verlag, September 2000."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J.M. Alvarez, M. Diaz, L.M. Llopis, E. Pimentel, and J.M. Troya. Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-Time Systems. In R. Dsoulli, G.v. Bochmann, and Y. Lahav, editors, Proceedings of SDL-FORUM\u201999 (Montreal, Canada), pages 241\u2013256. Elsevier, June 1999.","DOI":"10.1016\/B978-044450228-5\/50017-5"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Modeling Urgency in Timed Systems","author":"S. Bornot","year":"1997","unstructured":"S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In International Symposium: Compositionality-The Significant Difference (Holstein, Germany), volume 1536 of LNCS. Springer, September 1997."},{"key":"14_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-48119-2_19","volume-title":"Proceedings of FM\u201999(Toulouse, France)","author":"M. Bozga","year":"1999","unstructured":"M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM\u201999 (Toulouse, France), volume 1708 of LNCS, pages 307\u2013327. Springer, September 1999."},{"key":"14_CR7","unstructured":"M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober, and D. Vincent. SDL for Real-Time: What is Missing? In Proceedings of SAM\u201900: 2nd Workshop on SDL and MSC (Grenoble, France), pages 108\u2013122. IMAG, June 2000."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"M. Diefenbruch, E. Heck, J. Hintelmann, and B. M\u00fcller-Clostermann. Performance evaluation of SDL systems adjunct by queueing models. In R. Braek and A. Sarma, editors, Proceedings of SDL Formu\u201995. Elsevier Science B.V., 1995.","DOI":"10.1016\/B978-0-444-82269-7.50024-1"},{"key":"14_CR9","unstructured":"Interval Consortium. Requirement Analysis Report. Technical Report D11, Interval Deliverable, October 2000."},{"key":"14_CR10","unstructured":"ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union-Standardization Sector, Gen\u00e8ve, November 1999."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"S. Leue. Specifying Real-Time Requirements for SDL Specifications-A Temporal Logic-Based Approach. In Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification PSTV\u201995. Chapmann & Hall, 1995.","DOI":"10.1007\/978-0-387-34892-6_2"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"M. Malek. PerfSDL: Interface to Protocol Performance Analysis by means of Simulation. In R. Dsoulli, G.v. Bochmann,, and Y. Lahav, editors, Proceedings of SDL-FORUM\u201999 (Montreal, Canada), pages 441\u2013455, 1999.","DOI":"10.1016\/B978-044450228-5\/50029-1"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"A. Mitschele-Thiel and B. M\u00fcller-Clostermann. Performance Engineering of SDL\/MSC Systems. In A. Mitschele-Thiel, B. M\u00fcller-Clostermann, and R. Reed, editors, Workshop on Performance and Time in SDL and MSC (Erlangen, Germany), February 1998.","DOI":"10.1016\/S1389-1286(99)00061-4"},{"key":"14_CR14","unstructured":"I. Ober, B. Coulette, and A. Kerbrat. Timed SDL Simulation and Verification-Extending SDL with Timed Automata Concepts. Technical report, Telelogic Technologies Toulouse, 2000."},{"key":"14_CR15","unstructured":"J.-L. Roux. SDL Performance Analysis with ObjectGeode. In A. Mitschele-Thiel, B. M\u00fcller-Clostermann, and R. Reed, editors, Workshop on Performance and Time in SDL and MSC (Erlangen, Germany), February 1998."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"B. Selic and J. Rumbaugh. Using Uml for Modeling Complex Real-Time Systems. Whitepaper, Rational Software Corp., March 1998.","DOI":"10.1007\/BFb0057795"},{"key":"14_CR17","unstructured":"T. Speakman, D. Farinacci, S. Lin, and A. Tweely. PGM Reliable Transport Protocol Specification. Internet draft, IETF, 1999."},{"key":"14_CR18","unstructured":"B. Whetten, M. Basavaiah, S. Paul, T. Montgomery, N. Rastogi, J. Conlan, and T. Yeh. The Reliable Multicast Transport Protocol, version 2 (RMTP-II). Internet draft, IETF, 1998."},{"issue":"1+2","key":"14_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"S. Yovine. KRONOS: A Verification Tool for Real-Time Systems. Software Tools for Technology Transfer, 1(1+2):123\u2013133, December 1997.","journal-title":"Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:05:12Z","timestamp":1558274712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"22 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}