{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:39:58Z","timestamp":1725586798154},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642216510"},{"type":"electronic","value":"9783642216527"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21652-7_1","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T00:09:57Z","timestamp":1308355797000},"page":"1-17","source":"Crossref","is-referenced-by-count":0,"title":["SDL Modules \u2013 Concepts and Tool Support"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"International Telecommunication Union: Recommendation Z.100, Specification and Description Language (SDL) (November 2007), \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en"},{"key":"1_CR2","volume-title":"SDL\u2013 Formal Object-oriented Language for Communication Systems","author":"J. Ellsberger","year":"1997","unstructured":"Ellsberger, J., Hogrefe, D., Sarma, A.: SDL\u2013 Formal Object-oriented Language for Communication Systems. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"1_CR3","unstructured":"IBM: Rational SDL Suite (2011), \n                    \n                      http:\/\/www-01.ibm.com\/software\/awdtools\/sdlsuite"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-31810-1_15","volume-title":"System Analysis and Modeling","author":"I. Fliege","year":"2005","unstructured":"Fliege, I., Geraldy, A., Gotzhein, R., Schaible, P.: A Flexible Micro Protocol Framework. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol.\u00a03319, pp. 224\u2013236. Springer, Heidelberg (2005)"},{"key":"1_CR5","unstructured":"Oracle Corporation: Java (2011), \n                    \n                      http:\/\/java.sun.com"},{"key":"1_CR6","unstructured":"Apache Software Foundation: Maven (2011 ), \n                    \n                      http:\/\/maven.apache.org\/"},{"key":"1_CR7","unstructured":"Free Software Foundation, Inc.: GNU Make (2011), \n                    \n                      http:\/\/www.gnu.org\/software\/make\/"},{"key":"1_CR8","unstructured":"Networked Systems Group: SPaSs Tool Home Page (2011), \n                    \n                      http:\/\/vs.cs.uni-kl.de\/activities\/spass\/"},{"key":"1_CR9","unstructured":"International Telecommunication Union: Recommendation Z.106: Common Interchange Format for SDL (August 2002), \n                    \n                      http:\/\/www.itu.int\/rec\/T-REC-Z.106\/en"},{"key":"1_CR10","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); Revised Selected Papers"},{"key":"1_CR11","unstructured":"Apache Software Foundation: Subversion (2011), \n                    \n                      http:\/\/subversion.apache.org\/"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: About Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21652-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T00:40:28Z","timestamp":1553820028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21652-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642216510","9783642216527"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21652-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}