{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:09Z","timestamp":1725487089756},"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_13","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T14:01:14Z","timestamp":1183384874000},"page":"203-222","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A General Approach for the Specification of Real-Time Systems with SDL"],"prefix":"10.1007","author":[{"given":"Ralf","family":"M\u00fcnzenberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Slomka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"D\u00f6rfel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hofmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"13_CR1","volume-title":"6th International Workshop on Hardware\/Software Codesign","author":"J.M. Daveau","year":"1998","unstructured":"J.M. Daveau, G. Marchioro, A.J. Jerraya. Hardware\/Software Co-Design of an ATM Network Interface Card: a Case Study. 6th International Workshop on Hardware\/Software Codesign, IEEE Computer Society Press, Seattle,1998."},{"key":"13_CR2","unstructured":"ETSI. ETS 300-175-3, Digital Enhanced Cordless Telecommunications (DECT); Common Interface (CI); Part 3: Medium Access Control (MAC) layer. ETSI, 1996."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka. An Annotational Extension of Message Sequence Charts to Support Performance Engineering. In A. Cavalli, A. Sarma (eds.), SDL\u201997 Time for Testing,SDL,MSC and Trends, 8th SDL Forum, Elsevier Science, 1997.","DOI":"10.1016\/B978-044482816-3\/50021-6"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"B. Geppert, R. Gotzhein, F. R\u00f6\u03b2ler. Configuring Communication Protocols Using SDL Patterns. In A. Cavalli, A. Sarma (eds.),SDL\u201997 Time for Testing,SDL,MSC and Trends, 8th SDL Forum, Elsevier Science,1997.","DOI":"10.1016\/B978-044482816-3\/50035-6"},{"key":"13_CR5","unstructured":"B. Geppert, F. R\u00f6\u03b2ler, R. L. Feldmann, S. Vorwieger. Combining SDL Patterns with Continuous Quality Improvement: An Experience Factor Tailored to SDL Patterns. In Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, Berlin, June 1998."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"R. Hofmann, R. Klar, B. Mohr, A. Quick, M. Siegle. Distributed Performance Monitoring: Methods, Tools, and Applications. IEEE Trans. Parallel and Distributed Systems. Vol. 5, No. 6, June 1994.","DOI":"10.1109\/71.285605"},{"key":"13_CR7","unstructured":"ITU-T. Z.100 (11\/99), ITU, Specification and Description Language. ITU, Specification and description language (SDL), November 2000."},{"key":"13_CR8","unstructured":"ITU-T. Z.100, Appendix I. ITU, Specification and Description Language. ITU, 1993."},{"key":"13_CR9","unstructured":"ITU-T. Z.120,Message Sequence Chart. ITU, 1996."},{"key":"13_CR10","unstructured":"P. Langend\u00f6rfer, H. K\u00f6nig. Specifying and Validating Quality of Service Requirements Using Signal Chains. Workshop on Performance and Time in SDL and MSC, Internal report IMMD-VII-1\/98, University of Erlangen-Nuremberg, February 1998."},{"key":"13_CR11","unstructured":"B. M\u00fcller-Clostermann, M. Diefenbruch. Queueing SDL: A Language for the Functional and Quantitative Specification of Distributed Systems. Workshop on Performance and Time in SDL and MSC, Internal report IMMD-VII-1\/98, University of Erlangen-Nuremberg, February 1998."},{"key":"13_CR12","unstructured":"R. M\u00fcnzenberger, F. Slomka, M. D\u00f6rfel, R. Hofmann. A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems. Submitted to IEEE Transactions on VLSI Systems."},{"key":"13_CR13","unstructured":"A. Mitschele-Thiel, F. Slomka. Codesign with SDL\/MSC,In K. Buchenrieder, Al Sedlmeier (eds.), International Workshop on Conjoint Systems Engineering (CONSYSE\u201997), IT-press, 1999."},{"key":"13_CR14","unstructured":"I. Schieferdecker, A. Rennoch, O. Mertens. Timed MSCs-an Extension to MSC\u201996. In A. Wolisz, I. Schieferdecker, A. Rennoch (eds.), Formale Beschreibungstechniken F\u00fcr verteilte Systeme,GI\/ITG-F achgespr\u00e4lch, Berlin, June 1997."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"F. Slomka, M. D\u00f6rfel, R. M\u00fcnzenberger. Generating Mixed Hardware\/Software Systems from SDL Specifications. Accepted for the International Symposium on Hardware\/Software Codesign, Codes 2001.","DOI":"10.1145\/371636.371699"},{"key":"13_CR16","unstructured":"H.-J. V\u00f6gel, W. Kellerer, S. Sarg, M. Kober, A. Beckert, G. Einfalt. SDL based prototyping of ISDN-DECT-PBX switching software. In Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, Berlin, June 1998."},{"key":"13_CR17","unstructured":"I. Wakeman, A. Ghosh, J. Crowcroft, V. Jacobson, S. Floyd: Implementing Real-Time Packet Forwarding Policies using Streams Proceedings of the USENIX Technical Conference, Louisiana, New Orleans, Jan. 1995."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"H. Zhang. Service Disciplines for Guaranteed Performance Service in Packet-Switching Networks. Proceedings of IEEE, Vol. 83, No. 10, October 1995.","DOI":"10.1109\/5.469298"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"L. Zhang. Virtual Clock: A New Traffic Control Algorithm for Packet-Switched Networks. ACM Transactions on Computer Systems, Vol. 9, No. 2, May 1991.","DOI":"10.1145\/103720.103721"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:05:17Z","timestamp":1558260317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_13","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"}}]}}