{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:58Z","timestamp":1725490498807},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_3","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T19:22:33Z","timestamp":1188760953000},"page":"38-52","source":"Crossref","is-referenced-by-count":8,"title":["Expression of Time and Duration Constraints in SDL"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"3_CR1","unstructured":"F. Bause, P. Buchholz \u201cQualitative and quantitative analysis of timed SDL specifications\u201d"},{"key":"3_CR2","unstructured":"Spitz S., Slomka F., D\u00f6rfel M. \u201cSDL*-an annotated specification language for engineering multimedia communication systems\u201d Workshop on high speed networks, Stuttgart, October 1999"},{"key":"3_CR3","unstructured":"J.-L. Roux \u201cSDL Performance analysis with ObjectGeode\u201d, Workshop on performance and time in SDL, 1998"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Mitschele-Thiehl A., Slomka F., \u201cA methodology for hardware\/software co-design of real time systems with SDL\/MSC\u201d Computer Networks 31, 1999","DOI":"10.1016\/S1389-1286(99)00061-4"},{"key":"3_CR5","unstructured":"M. Malek \u201cPerfSDL: Interface to protocol performance analysis by means of simulation\u201d Proceedings of SDL Forum 99"},{"key":"3_CR6","unstructured":"Stefan Leue \u201cSpecifying Real-time requirements for SDL specifications\u201d PSTV\u201995"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"B. Algayres, Y. Lejeune, F. Hugonnet, \u201cGOAL: Observing SDL behaviors with Geode\u201d. Proceedings of SDL Forum 95.","DOI":"10.1016\/B978-0-444-82269-7.50023-X"},{"key":"3_CR8","unstructured":"M. D\u00f6rfel, W. Dulz, SHIELAR. Hofmann, and R. M\u00fcnzenberger: \u201cSDL and non-functional requirement\u201d. Internal Report IMMD7 05\/01, University of Erlangen, August 20, 2001."},{"key":"3_CR9","unstructured":"I. Ober, B. Coulette, A. Kerbrat \u201cTimed SDL Simulation and specification\u201d, technical report Telelogic Technologies Toulouse, 2000"},{"key":"3_CR10","unstructured":"Alvarez J. M, Diaz M., Llopis L. M., Pimentel E., Troya J. M. \u201cEmbedded Real-time Systems Development using SDL\u201d, IEEE Real-time Symposium, 1999"},{"key":"3_CR11","unstructured":"J-M Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya, \u201cIntegrating Schedulability Analysis and Design Techniques in SDL\u201d, Real Time Systems Journal"},{"key":"3_CR12","unstructured":"J-M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya., \u201cDeriving Hard-Real Time Embedded Systems Implementations Directly from SDL Specifications\u201d, CODES\u201901: 9th International Symposium on Hardware\/Software Codesign. 25-27 April"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"F. Slomka, M. D\u00f6rfel, R. M\u00fcnzenberger, R. Hofmann. Hardware\/Software Codesign and Rapid-Prototyping of Embedded Systems. IEEE Design & Test of Computers, Special issue: Design Tools for Embedded Systems, Vol. 17, No. 2, April\u2013June 2000.","DOI":"10.1109\/54.844331"},{"key":"3_CR14","unstructured":"M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober and D. Vincent. SDL for real-time: what is missing? Proceedings of SDL & MSC Workshop, Grenoble, June 2000."},{"key":"3_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Timed Extensions for SDL","author":"M. Bozga","year":"2001","unstructured":"M. Bozga, S. Graf, L. Mounier, I. Ober, J-L. Roux and D. Vincent. Timed Extensions for SDL. Proceedings of SDL Forum 2001, LNCS 2078, June 2001."},{"key":"3_CR16","unstructured":"ObjectGeode 4-1 Reference Manual. Telelogic Technologies Toulouse. See also http:\/\/www.telelogic.com"},{"key":"3_CR17","unstructured":"I. Ober Sp\u00e9fication et Validation de Syst\u00e8s Temporis\u00e9avec des Langages de description formelle: \u00e9de et mise en \u0153re (en English), PhD Thesis, Toulouse, 2001"},{"key":"3_CR18","unstructured":"TAU toolset documentation, see http:\/\/www.telelogic.com"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"M. Diefenbruch, E. Heck, J. Hintelmann, and B. M\u00fcller-Clostermann. \u201cPerformance evaluation of SDL systems adjunct by queuing models\u201d Proc. of SDL-Forum\u2019 95, 1995.","DOI":"10.1016\/B978-0-444-82269-7.50024-1"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"M. Bozga, S. Graf, L. Mounier, Automated validation of distributed software using the IF environment, 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001)","DOI":"10.1109\/NCA.2001.962542"},{"key":"3_CR21","series-title":"Lect Notes Comput Sci","volume-title":"Modeling Urgency in Timed Systems","author":"S. Bornot","year":"1998","unstructured":"S. Bornot, J. Sifakis and S. Tripakis, Modeling Urgency in Timed Systems, International Symposium: Compositionality-The Significant Difference, Malente (Holstein, Germany), 1998, LNCS Vol. 1536"},{"key":"3_CR22","unstructured":"T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, \u201cSymbolic model checking for realtime systems\u201d, Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1992"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, \u201cReal-time system = discrete system + clock variables\u201d, Theories and Experiences for Real-time System Development, AMAST Series in Computing 2, 1994","DOI":"10.1142\/9789812831583_0001"},{"key":"3_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-45352-0_11","volume-title":"FTRTFT 2000","author":"K. Altisen","year":"2000","unstructured":"K. Altisen, G. G\u00f6ssler and J. Sifakis. \u201cA Methodology for the Construction of Scheduled Systems\u201d FTRTFT 2000, Pune, India, September 2000, LNCS 1926, pp.106\u2013120."},{"key":"3_CR25","unstructured":"S. Bornot, G. G\u00f6ssler and J. Sifakis. \u201cOn the Construction of Live Systems\u201d. TACAS 2000, LNCS 1785 [BL97] H. Ben-Abdalla, S. Leue, \u201cExpressing and analysing timing constraints in message sequence chart specifications\u201d, technical report, U. of Waterloo, 1997"},{"key":"3_CR26","unstructured":"Recommendation Z100; Specification and Description Language (SDL). ITU, Standardization sector, November 1999"},{"key":"3_CR27","unstructured":"Y. Gurevich \u201cDraft of the ASM Guide\u201d, Technical Report University of Michigan, 1997"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"R. Eschbach, U. Gl\u00e4sser, R. Gotzhein, A. Prinz, \u201cOn the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines\u201d. Proc. ASM 2000, Int. Workshop on Abstract State Machines, Switzerland, March 2000","DOI":"10.1007\/3-540-44518-8_14"},{"key":"3_CR29","unstructured":"M. Bozga, J. Cl. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm, L. Mounier, IF: An Intermediate Representation for SDL and its Applications, Proceedings of SDL-Forum\u201999 (Montreal, Canada), Elsevier"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"G. Berry, G. Gonthier. \u201cThe Esterel synchronous programming language: design, semantics, implementation\u201d. In Science of Computer Programming, 19(2), Elsevier, 1992","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"3_CR31","series-title":"Lect Notes Comput Sci","volume-title":"A General Approach for the Specification of Real-Time Systems with SDL","author":"R. M\u00fcnzenberger","year":"2001","unstructured":"R. M\u00fcnzenberger, F. Slomka, M. D\u00f6rfel, R. Hofmann. A General Approach for the Specification of Real-Time Systems with SDL. In R. Reed and J. Reed (Eds.), Proc. of the 10th International SDL Forum, Springer LNCS 2078. 2001."},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"E. Closse, M. Poize, J. Pulou J. Sifakis, P. Venier, D. Weil, S. Yovine \u201cTAXYS: a Tool for the Development and Verification of Real-Time Embedded Systems\u201d, CAV 2001","DOI":"10.1007\/3-540-44585-4_39"},{"key":"3_CR33","series-title":"Lect Notes Comput Sci","volume-title":"TACAS\u201996","author":"R. Alur","year":"1996","unstructured":"[35] Response to the OMG RFP for Schedulability, Performance, and Time, OMG document number: ptc\/2002-03-02. [AHP96]_R. Alur, G. Holzmann, D. Peled, \u201cAn analyser for message sequence charts\u201d, TACAS\u201996, Lecture Notes in Computer Science Vol 1055, 1996"}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:38:36Z","timestamp":1556811516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}