{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:41:28Z","timestamp":1725860488686},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319415789"},{"type":"electronic","value":"9783319415796"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-41579-6_5","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:44:48Z","timestamp":1466995488000},"page":"50-60","source":"Crossref","is-referenced-by-count":2,"title":["Verification Support for a State-Transition-DSL Defined with Xtext"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s10270-012-0284-6","volume":"13","author":"U A\u00dfmann","year":"2014","unstructured":"A\u00dfmann, U., Bartho, A., B\u00fcrger, C., Cech, S., Demuth, B., Heidenreich, F., Johannes, J., Karol, S., Polowinski, J., Reimann, J., Schroeter, J., Seifert, M., Thiele, M., Wende, C., Wilke, C.: Dropsbox: the Dresden open software toolbox - domain-specific modelling tools beyond metamodels and transformations. Softw. Syst. Model. 13(1), 133\u2013169 (2014)","journal-title":"Softw. Syst. Model."},{"key":"5_CR2","unstructured":"Yakindu: Homepage. http:\/\/statecharts.org\/"},{"key":"5_CR3","unstructured":"Xtext: Homepage. http:\/\/www.eclipse.org\/Xtext\/"},{"issue":"3","key":"5_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"5_CR5","unstructured":"Baar, T.: SSMA - Simple State Machine Analyzer. https:\/\/github.com\/thomasbaar\/simplesma"},{"key":"5_CR6","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2013","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, Birmingham (2013)"},{"issue":"3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s00766-013-0198-z","volume":"19","author":"C Ghezzi","year":"2014","unstructured":"Ghezzi, C., Menghi, C., Sharifloo, A.M., Spoletini, P.: On requirement verification for evolving statecharts specifications. Requir. Eng. 19(3), 231\u2013255 (2014)","journal-title":"Requir. Eng."},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.4304\/jsw.4.3.175-182","volume":"4","author":"CM Prashanth","year":"2009","unstructured":"Prashanth, C.M., Shet, K.C.: Efficient algorithms for verification of UML statechart models. JSW 4(3), 175\u2013182 (2009)","journal-title":"JSW"},{"key":"5_CR9","unstructured":"R\u00fcmmer, P.: Princess homepage. http:\/\/www.philipp.ruemmer.org\/princess.shtml"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/978-3-540-89439-1_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"P R\u00fcmmer","year":"2008","unstructured":"R\u00fcmmer, P.: A constraint sequent calculus for first-order logic with linear integer arithmetic. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 274\u2013289. Springer, Heidelberg (2008)"},{"key":"5_CR11","unstructured":"Bettini, L.: Xsemantics Documentation (2015). http:\/\/xsemantics.sourceforge.net\/documentation\/"},{"issue":"5","key":"5_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/MS.2014.100","volume":"31","author":"G Wachsmuth","year":"2014","unstructured":"Wachsmuth, G., Konat, G.D.P., Visser, E.: Language design with the Spoofax language workbench. IEEE Softw. 31(5), 35\u201343 (2014)","journal-title":"IEEE Softw."},{"key":"5_CR13","unstructured":"Vergu, V.A., Neron, P., Visser, E.: Dynsem: a DSL for dynamic semantics specification. In: Fern\u00e1ndez, M., (ed.) 26th International Conference on Rewriting Techniques and Applications, RTA 29 to 1 July 2015, Warsaw, Poland, vol. 36 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 365\u2013378, June 2015"},{"key":"5_CR14","unstructured":"Object Management Group: Unified Modeling Language (UML), version 2.5, June 2015. http:\/\/www.omg.org\/spec\/UML\/2.5\/"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41579-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:13:19Z","timestamp":1498324399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41579-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415789","9783319415796"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41579-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}