{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:26:01Z","timestamp":1742912761735,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642204005"},{"type":"electronic","value":"9783642204012"}],"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-20401-2_27","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:53:38Z","timestamp":1315392818000},"page":"561-584","source":"Crossref","is-referenced-by-count":3,"title":["Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis"],"prefix":"10.1007","author":[{"given":"G\u00e1bor","family":"Bergmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Boronat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-69927-9_8","volume-title":"Theory and Practice of Model Transformations","author":"I. R\u00e1th","year":"2008","unstructured":"R\u00e1th, I., Bergmann, G., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Live model transformations driven by incremental pattern matching. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 107\u2013121. Springer, Heidelberg (2008)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT 2008, 3rd International Workshop on Graph and Model Transformation, 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"27_CR3","unstructured":"VIATRA2 Framework. An Eclipse GMT Subproject, http:\/\/www.eclipse.org\/gmt\/"},{"issue":"3","key":"27_CR4","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The Model Transformation Language of the VIATRA2 Framework. Science of Computer Programming\u00a068(3), 214\u2013234 (2007)","journal-title":"Science of Computer Programming"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1145\/1244002.1244217","volume-title":"Proceedings of the 2007 ACM Symposium on Applied Computing (SAC)","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo, Y.W. (eds.) Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, pp. 978\u2013984. ACM, New York (2007)"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-12029-9_11","volume-title":"Fundamental Approaches to Software Engineering","author":"P. Torrini","year":"2010","unstructured":"Torrini, P., Heckel, R., R\u00e1th, I.: Stochastic simulation of graph transformation systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 154\u2013157. Springer, Heidelberg (2010)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"issue":"3","key":"27_CR9","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental Model Transformation for the Evolution of Model-Driven Systems. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"issue":"1","key":"27_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019(1), 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., V\u00e1g\u00f3, D., Varr\u00f3, D.: Design-time Simulation of Domain-specific Models By Incremental Pattern Matching. In: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC (2008)","DOI":"10.1109\/VLHCC.2008.4639089"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04425-0_26","volume-title":"Model Driven Engineering Languages and Systems","author":"I. R\u00e1th","year":"2009","unstructured":"R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 342\u2013356. Springer, Heidelberg (2009)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Synchronization of abstract and concrete syntax in domain-specific modeling languages. Journal of Software and Systems Modeling (2009) (accepted)","DOI":"10.1007\/s10270-009-0122-7"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat. In: B\u00e9zivin, J., Rumpe, B., Sch\u00fcrr, A., Tratt, L. (eds.) Proc. of the International Workshop on Model Transformation in Practice (MTiP 2005) (October 2005), http:\/\/sosym.dcs.kcl.ac.uk\/events\/mtip05\/","DOI":"10.1007\/11663430_15"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S., Subrahmanian, V.S.: Maintaining views incrementally. In: ACM SIGMOD Proceedings, Washington, D.C., USA, pp. 157\u2013166 (1993)","DOI":"10.1145\/170035.170066"},{"key":"27_CR18","series-title":"ENTCS","first-page":"71","volume-title":"Proc. of the 4th Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2004)","author":"G. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, G., Varr\u00f3, D.: Graph transformation with incremental updates. In: Heckel, R. (ed.) Proc. of the 4th Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2004), Barcelona, Spain. ENTCS, vol.\u00a0109, pp. 71\u201383. Elsevier, Amsterdam (2004)"},{"issue":"3","key":"27_CR19","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10270-006-0015-y","volume":"5","author":"G. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, G., Friedl, K., Varr\u00f3, D.: Graph transformation in relational databases. Journal of Software and Systems Modelling\u00a05(3), 313\u2013341 (2006)","journal-title":"Journal of Software and Systems Modelling"},{"key":"27_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/BFb0017389","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H. Bunke","year":"1991","unstructured":"Bunke, H., Glauser, T., Tran, T.H.: An efficient implementation of graph grammar based on the RETE-matching algorithm. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 174\u2013189. Springer, Heidelberg (1991)"},{"key":"27_CR21","unstructured":"Matzner, A., Minas, M., Schulte, A.: Efficient graph matching with application to cognitive automation. In: Nagl, M., Sch\u00fcrr, A. (eds.) Proc. of the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel, Germany, pp. 293\u2013308 (October 2007)"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/11880240_29","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Varr\u00f3","year":"2006","unstructured":"Varr\u00f3, D.: Model transformation by example. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 410\u2013424. Springer, Heidelberg (2006)"},{"issue":"20","key":"27_CR23","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., de Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming\u00a019(20), 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: ACM Symposium on Applied Computing \u2014 Model Transformation Track (SAC 2006), Dijon, France, pp. 1280\u20131287. ACM Press, New York (2006)","DOI":"10.1145\/1141277.1141575"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: Proc. of HICSS-40 Hawaii International Conference on System Sciences, Hawaii, USA (January 2007)","DOI":"10.1109\/HICSS.2007.572"},{"issue":"1-2","key":"27_CR26","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: Atl: A model transformation tool. Sci. Comput. Program\u00a072(1-2), 31\u201339 (2008)","journal-title":"Sci. Comput. Program"},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"Strommer, M., Murzek, M., Wimmer, M.: Applying Model Transformation By-Example on Business Process Modeling languages. In: Proc. 3rd International Workshop on Foundations and Practices of UML","DOI":"10.1007\/978-3-540-76292-8_14"},{"key":"27_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1282480.1282482","volume-title":"VLDB","author":"M.M. Zloof","year":"1975","unstructured":"Zloof, M.M.: Query-by-example: the invocation and definition of tables and forms. In: Kerr, D.S. (ed.) VLDB, pp. 1\u201324. ACM, New York (1975)"},{"volume-title":"Watch What I Do: Programming by Demonstration","year":"1993","key":"27_CR29","unstructured":"Cypher, A. (ed.): Watch What I Do: Programming by Demonstration. The MIT Press, Cambridge (1993)"},{"issue":"3","key":"27_CR30","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/330534.330546","volume":"43","author":"A. Repenning","year":"2000","unstructured":"Repenning, A., Perrone, C.: Programming by example: programming by analogous examples. Communications of the ACM\u00a043(3), 90\u201397 (2000)","journal-title":"Communications of the ACM"},{"key":"27_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-45227-0_6","volume-title":"Database and Expert Systems Applications","author":"S. Lechner","year":"2003","unstructured":"Lechner, S., Schrefl, M.: Defining web schema transformers by example. In: Ma\u0159\u00edk, V., Retschitzegger, W., \u0160t\u011bp\u00e1nkov\u00e1, O. (eds.) DEXA 2003. LNCS, vol.\u00a02736, pp. 46\u201356. Springer, Heidelberg (2003)"},{"key":"27_CR32","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/SAINT.2002.994471","volume-title":"Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002)","author":"K. Ono","year":"2002","unstructured":"Ono, K., Koyanagi, T., Abe, M., Hori, M.: XSLT stylesheet generation by example with WYSIWYG editing. In: Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002), Washington, DC, USA, pp. 150\u2013161. IEEE Computer Society, Los Alamitos (2002)"},{"key":"27_CR33","doi-asserted-by":"crossref","unstructured":"Yan, L.L., Miller, R.J., Haas, L.M., Fagin, R.: Data-driven understanding and refinement of schema mappings. In: Proc. ACM SIGMOD Conference on Management of Data (2001)","DOI":"10.1145\/375663.375729"},{"key":"27_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-39597-3_34","volume-title":"Conceptual Modeling for Novel Application Domains","author":"M. Erwig","year":"2003","unstructured":"Erwig, M.: Toward the automatic derivation of XML transformations. In: Jeusfeld, M.A., Pastor, \u00d3. (eds.) ER Workshops 2003. LNCS, vol.\u00a02814, pp. 342\u2013354. Springer, Heidelberg (2003)"},{"key":"27_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11560647_4","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"R. Heckel","year":"2005","unstructured":"Heckel, R.: Stochastic analysis of graph transformation systems: A case study in P2P networks. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 53\u201369. Springer, Heidelberg (2005)"},{"key":"27_CR36","unstructured":"Khan, A., Torrini, P., Heckel, R.: Model-based simulation of VoIP network reconfigurations using graph transformation systems. In: Corradini, A., Tuosto, E. (eds.) Intl. Conf. on Graph Transformation (ICGT) 2008 - Doctoral Symposium. Electronic Communications of the EASST, vol.\u00a016 (2009), http:\/\/eceasst.cs.tu-berlin.de\/index.php\/eceasst\/issue\/view\/26"},{"key":"27_CR37","doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P.L., Meliani, L., Vaucher, J.: SSJ: a framework for stochastic simulation in Java. In: Proceedings of the 2002 Winter Simulation Conference, pp. 234\u2013242 (2002)","DOI":"10.1109\/WSC.2002.1172890"},{"key":"27_CR38","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1402947.1402953","volume-title":"GRaMoT 2008: Proceedings of the Third International Workshop on Graph and Model Transformations","author":"G. Bergmann","year":"2008","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the viatra model transformation system. In: GRaMoT 2008: Proceedings of the Third International Workshop on Graph and Model Transformations, pp. 25\u201332. ACM, New York (2008)"},{"key":"27_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-61228-9_81","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H.J. Kreowski","year":"1996","unstructured":"Kreowski, H.J., Kuske, S.: On the interleaving semantics of transformation units - a step into GRACE. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 89\u2013106. Springer, Heidelberg (1996)"},{"issue":"1","key":"27_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"P.R. D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.P.: A theory of stochastic systems part I: Stochastic automata. Inf. Comput.\u00a0203(1), 1\u201338 (2005)","journal-title":"Inf. Comput."},{"key":"27_CR41","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"27_CR42","unstructured":"Meseguer, J.: The temporal logic of rewriting. Technical Report UIUCDCS-R-2007-2815, CS Dept., University of Illinois at Urbana-Champaign (February 2007)"},{"issue":"1-2","key":"27_CR43","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"2","key":"27_CR44","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.entcs.2005.10.040","volume":"153","author":"G.A. Agha","year":"2006","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: Pmaude: Rewrite-based specification language for probabilistic object systems. Electr. Notes Theor. Comput. Sci.\u00a0153(2), 213\u2013239 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"27_CR45","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-02571-6_7","volume-title":"Objects, Components, Models and Patterns","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Meseguer, J.: Algebraic semantics of OCL-constrained metamodel specifications. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 96\u2013115. Springer, Heidelberg (2009)"},{"key":"27_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"27_CR47","first-page":"125","volume":"87","author":"B. K\u00f6nig","year":"2005","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur\u2014a tool for the analysis of graph transformation systems. EATCS Bulletin\u00a087, 125\u2013137 (2005); Appeared in The Formal Specification Column","journal-title":"EATCS Bulletin"},{"key":"27_CR48","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur\u00a02\u2014a new version of a tool for the analysis of graph transformation systems. In: Proceedings of GT-VMT 2006 (Workshop on Graph Transformation and Visual Modeling Techniques). Electronic Notes in TCS (2008)","DOI":"10.1016\/j.entcs.2008.04.042"},{"key":"27_CR49","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)"},{"key":"27_CR50","doi-asserted-by":"crossref","unstructured":"Robby, Dwyer, M.B., Hatcliff, J.: Bogor: An extensible and highly-modular model checking framework. In: Proceedings of the Fourth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE 2003 (2003)","DOI":"10.1145\/940103.940107"},{"key":"27_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00434-6_5","volume-title":"Software Language Engineering","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with maude. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 54\u201373. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Software Engineering for Service-Oriented Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20401-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:51:39Z","timestamp":1560552699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}