{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:20Z","timestamp":1725487100058},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_12","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:01:14Z","timestamp":1183399274000},"page":"182-202","source":"Crossref","is-referenced-by-count":5,"title":["Verification of Quantitative Temporal Properties of SDL Specifications"],"prefix":"10.1007","author":[{"given":"Iulian","family":"Ober","sequence":"first","affiliation":[]},{"given":"Alain","family":"Kerbrat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"B. Algayres, Y. Lejeune, and F. Hugonnet. GOAL: Observing SDL behaviors with GEODE. In R. Braek and A. Sarma, editors, SDL\u201995 with MSC in CASE. Elsevier Science B.V., 1995.","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill. Model checking in dense real time. Information and Computation, 104(1):2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","volume-title":"International Workshop HART\u201997","author":"S. Bornot","year":"1997","unstructured":"S. Bornot and J. Sifakis. Relating time progress and deadlines in hybrid systems. In International Workshop HART\u201997, volume 1201 of LNCS. Springer-Verlag, 1997."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. Technical report, Verimag, Grenoble, 1998.","DOI":"10.1007\/3-540-49213-5_5"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"M. Bozga, J.C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, L. Mounier, and J. Sifakis. IF: An intermediate representation for sc SDL and its applications. In R. Dssouli, G.v. Bochmann, and Y. Lahav, editors, SDL\u2019 99. The Next Milenium. Proceedings of the 9th SDL Forum, Montreal, Canada, 1999. Elsevier.","DOI":"10.1016\/B978-044450228-5\/50028-X"},{"key":"12_CR6","unstructured":"Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, and Daniel Vincent. SDL for real-time: What is missing? The 2nd Workshop on SDL and MSC, 2000."},{"key":"12_CR7","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 Forum\u201995. Elsevier Science B.V., 1995.","DOI":"10.1016\/B978-0-444-82269-7.50024-1"},{"key":"12_CR8","unstructured":"A. En-Nouaary, R. Dssouli, and F. Khendek. From timed scenarios to SDL: specification, implementation and testing of real-time systems. In R. Dssouli, G.v. Bochmann, and Y. Lahav, editors, SDL\u2019 99. The Next Milenium. Proceedings of the 9th SDL Forum, Montreal, Canada, 1999. Elsevier."},{"key":"12_CR9","unstructured":"Y. Gurevich. Evolving algebra: The lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T. A. Henzinger","year":"1998","unstructured":"Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What\u2019s decidable about hybrid automata? Journal of Computer and System Sciences, 57(1):94\u2013124, 1998.","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR11","unstructured":"John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Adisson-Wesley, 1979."},{"key":"12_CR12","unstructured":"ITU-T. Annex F (11\/00) to recommendation Z.100-Specification and Description Language (SDL)-Formal definition of SDL-to be published."},{"key":"12_CR13","unstructured":"ITU-T. Recommendation Z.100 (11\/99)-Specification and Description Language (SDL)."},{"key":"12_CR14","unstructured":"I. Ober. Extending SDL with timed automata concepts. Technical report, VERILOG, 1999."},{"key":"12_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. Friedrich-Alexander Universit\u00e4t, Erlangen-N\u00fcrnberg."},{"key":"12_CR16","unstructured":"SpaceWire Working Group. SpaceWire-Serial point-to-point links. European Space Agency document UoD-DICE-TN-9201, Issue D, May 2000. http:\/\/www.estec.esa.nl\/tech\/spacewire ."},{"key":"12_CR17","unstructured":"TELELOGIC A.B., Malm\u00f6, Sweden. Telelogic TAU SDL Suite Reference Manuals, 1999."},{"key":"12_CR18","unstructured":"Stavros Tripakis. The Formal Analysis of Timed Systems in Practice. PhD thesis, Joseph Fourier University, Grenoble, 1998."},{"key":"12_CR19","unstructured":"VERILOG, Toulouse, France. ObjectGEODE 4.1 Reference Manuals, 1999."}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:36:22Z","timestamp":1556588182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}