{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:56:08Z","timestamp":1725537368397},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045530"},{"type":"electronic","value":"9783642045547"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04554-7_3","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T18:11:16Z","timestamp":1252951876000},"page":"34-52","source":"Crossref","is-referenced-by-count":1,"title":["Model-Driven Development of Time-Critical Protocols with SDL-MDD"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Christmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Gotzhein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Christmann, D., Gotzhein, R., Kuhn, T.: Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. In: Proceedings of Workshops on Mobile Ad-Hoc Networks (WMAN 2009), Kassel, Germany (2009)","key":"3_CR1"},{"unstructured":"International Telecommunications Union: Recommendation Z.100 (11\/07), Specification and Description Language (SDL), \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en","key":"3_CR2"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11880240_7","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Kuhn","year":"2006","unstructured":"Kuhn, T., Gotzhein, R., Webel, C.: Model-Driven Development with SDL - Process, Tools, and Experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 83\u201397. Springer, Heidelberg (2006)"},{"unstructured":"Gotzhein, R.: Model-driven with SDL \u2013 Improving the Quality of Networked Systems Development (Invited Paper). In: Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), pp. 31\u201346 (2007)","key":"3_CR4"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11572961_2","volume-title":"Advances in Computer Systems Architecture","author":"A. Mohsen","year":"2005","unstructured":"Mohsen, A., Hofmann, R.: Efficient Voltage Scheduling and Energy-aware Co-synthesis for Real-time Embedded Systems. In: Srikanthan, T., Xue, J., Chang, C.-H. (eds.) ACSAC 2005. LNCS, vol.\u00a03740, pp. 3\u201314. Springer, Heidelberg (2005)"},{"unstructured":"IBM\u00ae Rational\u00ae, S.D.L.: SuiteTM, \n                    \n                      http:\/\/www.ibm.com\/software\/awdtools\/sdlsuite\/","key":"3_CR6"},{"unstructured":"PRAGMADEV: PragmaDev - real time development tools, \n                    \n                      http:\/\/www.pragmadev.com\/","key":"3_CR7"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11951148_14","volume-title":"System Analysis and Modeling: Language Profiles","author":"I. Fliege","year":"2006","unstructured":"Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler and Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol.\u00a04320, pp. 216\u2013228. Springer, Heidelberg (2006)"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/0470841966","volume-title":"Systems Engineering with SDL","author":"A. Mitschele-Thiel","year":"2001","unstructured":"Mitschele-Thiel, A.: Systems Engineering with SDL. Wiley, Chichester (2001)"},{"key":"3_CR10","volume-title":"Engineering Real Time Systems","author":"R. Br\u00e6k","year":"1993","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems. Prentice-Hall, Englewood Cliffs (1993)"},{"unstructured":"Sanders, R.: Implementing from SDL. Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)","key":"3_CR11"},{"key":"3_CR12","first-page":"422","volume-title":"SECON","author":"R. Gotzhein","year":"2008","unstructured":"Gotzhein, R., Kuhn, T.: Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks using Black Bursts. In: SECON, pp. 422\u2013431. IEEE, Los Alamitos (2008)"},{"unstructured":"Miller, J., Mukerji, J. (eds.): Object Management Group (OMG), MDA Guide Version 1.0.1, \n                    \n                      http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf","key":"3_CR13"},{"unstructured":"International Telecommunications Union: Recommendation Z.120 (04\/04), Message sequence chart (MSC), \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.120\/en","key":"3_CR14"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-36573-7_5","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"R. Gotzhein","year":"2003","unstructured":"Gotzhein, R., Khendek, F., Schaible, P.: Micro Protocol Design - The SNMP Case Study. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, pp. 61\u201373. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","SDL 2009: Design for Motes and Mobiles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04554-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:41:59Z","timestamp":1552174919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04554-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045530","9783642045547"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04554-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}