{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T23:42:28Z","timestamp":1648770148009},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T00:00:00Z","timestamp":1372291200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-013-0363-3","type":"journal-article","created":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T10:19:26Z","timestamp":1372241966000},"page":"573-596","source":"Crossref","is-referenced-by-count":2,"title":["Constraint-driven modeling through transformation"],"prefix":"10.1007","volume":"14","author":[{"given":"Andreas","family":"Demuth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto Erick","family":"Lopez-Herrejon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,6,27]]},"reference":[{"issue":"2","key":"363_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Comput 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput"},{"issue":"5","key":"363_CR2","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Softw. 20(5), 42\u201345 (2003)","journal-title":"IEEE Softw."},{"issue":"3","key":"363_CR3","doi-asserted-by":"crossref","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 Syst. J. 45(3), 621\u2013646 (2006)","journal-title":"IBM Syst. J."},{"key":"363_CR4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"363_CR5","doi-asserted-by":"crossref","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. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"363_CR6","unstructured":"Object Management Group, Query\/View\/Transformation (QVT). http:\/\/www.omg.org\/spec\/QVT\/"},{"key":"363_CR7","doi-asserted-by":"crossref","unstructured":"Ruscio, D.D., Eramo, R., Pierantonio, A.: Model transformations. In: SFM, pp. 91\u2013136 (2012)","DOI":"10.1007\/978-3-642-30982-3_4"},{"key":"363_CR8","doi-asserted-by":"crossref","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","DOI":"10.1007\/s10270-008-0109-9"},{"key":"363_CR9","doi-asserted-by":"crossref","unstructured":"Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., Jazayeri, M.: Challenges in software evolution. In: IWPSE, pp. 13\u201322 (2005)","DOI":"10.1109\/IWPSE.2005.7"},{"key":"363_CR10","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: GTTSE, pp. 408\u2013424 (2007)","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"363_CR11","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Gr\u00fcnbacher, P., Egyed, A., Rabiser, R., Heider, W.: Flexible and scalable consistency checking on product line variability models. In: ASE, pp. 63\u201372, ACM (2010)","DOI":"10.1145\/1858996.1859009"},{"key":"363_CR12","doi-asserted-by":"crossref","unstructured":"van Amstel, M., Bosems, S., Kurtev, I., Pires, L.F.: Performance in model transformations: experiments with ATL and QVT. In: ICMT, pp. 198\u2013212 (2011)","DOI":"10.1007\/978-3-642-21732-6_14"},{"key":"363_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective. In: ICMT, pp. 260\u2013283 (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"363_CR14","unstructured":"Object Management Group: Object Constraint Language (OCL). http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"363_CR15","doi-asserted-by":"crossref","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Constraint-driven modeling through transformation. In: ICMT, pp. 248\u2013263 (2012)","DOI":"10.1007\/978-3-642-30476-7_17"},{"key":"363_CR16","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Model\/analyzer: a tool for detecting, visualizing and fixing design errors in UML. In: ASE, pp. 347\u2013348, ACM (2010)","DOI":"10.1145\/1858996.1859069"},{"issue":"2","key":"363_CR17","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"363_CR18","unstructured":"Object Management Group: Unified Modeling Language (UML) superstructure. http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure (2012)"},{"issue":"4","key":"363_CR19","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10270-010-0157-9","volume":"10","author":"Z Micskei","year":"2011","unstructured":"Micskei, Z., Waeselynck, H.: The many meanings of uml 2 sequence diagrams: a survey. Softw. Syst. Model. 10(4), 489\u2013514 (2011)","journal-title":"Softw. Syst. Model."},{"key":"363_CR20","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE, pp. 455\u2013464 (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"363_CR21","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing repair trees for resolving inconsistencies in design models. In: ASE, pp. 220\u2013229 (2012)","DOI":"10.1145\/2351676.2351707"},{"key":"363_CR22","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: ICFEM, pp. 198\u2013213 (2012)","DOI":"10.1007\/978-3-642-34281-3_16"},{"issue":"2","key":"363_CR23","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"363_CR24","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"C Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Trans. Softw. Eng. Methodol. 12(1), 28\u201363 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"363_CR25","doi-asserted-by":"crossref","unstructured":"da Silva, M.A.A., Mougenot, A., Blanc, X., Bendraou, R.: Towards automated inconsistency handling in design models. In: CAiSE, pp. 348\u2013362 (2010)","DOI":"10.1007\/978-3-642-13094-6_28"},{"key":"363_CR26","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Incremental consistency checking for complex design rules and larger model changes. In: MoDELS, pp. 202\u2013218 (2012)","DOI":"10.1007\/978-3-642-33666-9_14"},{"issue":"1","key":"363_CR27","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"363_CR28","doi-asserted-by":"crossref","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and back again. In: MoDELS Workshops, pp. 158\u2013171 (2009)","DOI":"10.1007\/978-3-642-12261-3_16"},{"key":"363_CR29","doi-asserted-by":"crossref","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: MoDELS, pp. 415\u2013431 (2012)","DOI":"10.1007\/978-3-642-33666-9_27"},{"issue":"2","key":"363_CR30","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10515-012-0117-4","volume":"20","author":"A N\u00f6hrer","year":"2013","unstructured":"N\u00f6hrer, A., Egyed, A.: C2o configurator: a tool for guided decision-making. Autom. Softw. Eng. 20(2), 265\u2013296 (2013)","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"363_CR31","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10270-010-0175-7","volume":"11","author":"M Kessentini","year":"2012","unstructured":"Kessentini, M., Sahraoui, H.A., Boukadoum, M., Omar, O.B.: Search-based model transformation by example. Softw. Syst. Model. 11(2), 209\u2013226 (2012)","journal-title":"Softw. Syst. Model."},{"key":"363_CR32","doi-asserted-by":"crossref","unstructured":"N\u00f6hrer, A., Reder, A., Egyed, A.: Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution: NIER track. In: ICSE, pp. 864\u2013867 (2011)","DOI":"10.1145\/1985793.1985927"},{"key":"363_CR33","doi-asserted-by":"crossref","unstructured":"Puissant, J.P., Straeten, R.V.D., Mens, T.: Badger: A regression planner to resolve design model inconsistencies. In: ECMFA, pp. 146\u2013161 (2012)","DOI":"10.1007\/978-3-642-31491-9_13"},{"key":"363_CR34","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Branco, M.C., Varr\u00f3, D.: Quick fix generation for DSMLs. In: VL\/HCC, pp. 17\u201324 (2011)","DOI":"10.1109\/VLHCC.2011.6070373"},{"key":"363_CR35","doi-asserted-by":"crossref","unstructured":"Manders, E.-J., Biswas, G., Mahadevan, N., Karsai, G.: Component-oriented modeling of hybrid dynamic systems using the generic modeling environment. In: MBD\/MOMPES, pp. 159\u2013168 (2006)","DOI":"10.1109\/MBD-MOMPES.2006.6"},{"key":"363_CR36","doi-asserted-by":"crossref","unstructured":"Ossher, H., Bellamy, R.K.E., Simmonds, I., Amid, D., Anaby-Tavor, A., Callery, M., Desmond, M., de Vries, J., Fisher, A., Krasikov, S.: Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges. In: OOPSLA, pp. 848\u2013864. ACM (2010)","DOI":"10.1145\/1932682.1869529"},{"key":"363_CR37","doi-asserted-by":"crossref","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Cross-layer modeler: A tool for flexible multilevel modeling with consistency checking. In: ESEC\/SIGSOFT FSE, pp. 452\u2013455 (2011)","DOI":"10.1145\/2025113.2025189"},{"key":"363_CR38","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: TACAS, pp. 632\u2013647 (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"363_CR39","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC\/SIGSOFT FSE, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"},{"key":"363_CR40","doi-asserted-by":"crossref","unstructured":"Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: FASE, pp. 203\u2013217 (2010)","DOI":"10.1007\/978-3-642-12029-9_15"},{"key":"363_CR41","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: EDOC, pp. 222\u2013231. Sept 2008","DOI":"10.1109\/EDOC.2008.44"},{"key":"363_CR42","doi-asserted-by":"crossref","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Automatically generating and adapting model constraints to support co-evolution of design models. In: ASE, pp. 302\u2013305 (2012)","DOI":"10.1145\/2351676.2351730"},{"key":"363_CR43","doi-asserted-by":"crossref","unstructured":"Herrmannsdoerfer, M., Benz, S., J\u00fcrgens, E.: COPE\u2014automating coupled evolution of metamodels and models. In: ECOOP, pp. 52\u201376 (2009)","DOI":"10.1007\/978-3-642-03013-0_4"},{"key":"363_CR44","unstructured":"Object Management Group: Meta-Object Facility (MOF). http:\/\/www.omg.org\/mof\/"},{"key":"363_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product line Engineering: Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product line Engineering: Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"key":"363_CR46","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D.S., Kitchin, D., Cook, W.R.: Safe composition of product lines. In: GPCE, pp. 95\u2013104 (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"363_CR47","unstructured":"Sun, J., Zhang, H., Li, Y.-F., Wang, H.H.: Formal semantics and verification for feature modeling. In: ICECCS 2005, pp. 303\u2013312 (2005)"},{"key":"363_CR48","unstructured":"Mendonca, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC, pp. 231\u2013240 (2009)"},{"key":"363_CR49","doi-asserted-by":"crossref","unstructured":"Mazo, R., Lopez-Herrejon, R.E., Salinesi, C., Diaz, D., Egyed, A.: Conformance checking with constraint logic programming: the case of feature models. In: COMPSAC, pp. 456\u2013465 (2011)","DOI":"10.1109\/COMPSAC.2011.66"},{"key":"363_CR50","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R.E., Egyed, A.: Detecting inconsistencies in multi-view models with variability. In: ECMFA, pp. 217\u2013232 (2010)","DOI":"10.1007\/978-3-642-13595-8_18"},{"key":"363_CR51","unstructured":"Capozucca, A., Cheng, B.H., Guelfi, N., Istoan, P.: Barbados crash management system. http:\/\/www.cs.colostate.edu\/remodd\/v1\/content\/bcms-spl-case-study-proposition-based-cloud-component-approach , 2011. [Accessed 1-August-2012]"},{"key":"363_CR52","unstructured":"ReMoDD Team: Repository for model driven development (ReMoDD). http:\/\/www.cs.colostate.edu\/remodd\/v1\/ (2011)"},{"key":"363_CR53","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Gogolla, M., Burgue\u00f1o, L., Wimmer, M., Hamann, L.: Formal specification and testing of model transformations. In: SFM, pp. 399\u2013437 (2012)","DOI":"10.1007\/978-3-642-30982-3_11"},{"key":"363_CR54","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Bauerdick, H., Gogolla, M.: Towards transformation of integrity constraints and database states. In: DEXA Workshops, pp. 823\u2013828 (2005)","DOI":"10.1109\/DEXA.2005.192"},{"key":"363_CR55","doi-asserted-by":"crossref","unstructured":"Giese, M., Larsson, D.: Simplifying transformations of OCL constraints. In: MoDELS, pp. 309\u2013323 (2005)","DOI":"10.1007\/11557432_23"},{"key":"363_CR56","doi-asserted-by":"crossref","unstructured":"Bajwa, I.S., Lee, M.G.: Transformation rules for translating business rules to OCL constraints. In: ECMFA, pp. 132\u2013143 (2011)","DOI":"10.1007\/978-3-642-21470-7_10"},{"key":"363_CR57","unstructured":"Object Management Group: Semantics of Business Vocabulary and Rules (SBVR). http:\/\/www.omg.org\/spec\/SBVR\/"},{"key":"363_CR58","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), pp. 21\u201343 (2009)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"363_CR59","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting parallel updates with bidirectional model transformations. In: ICMT, pp. 213\u2013228 (2009)","DOI":"10.1007\/978-3-642-02408-5_15"},{"key":"363_CR60","doi-asserted-by":"crossref","unstructured":"Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., Nakano, K.: Toward bidirectionalization of ATL with GRoundTram. In: ICMT, pp. 138\u2013151 (2011)","DOI":"10.1007\/978-3-642-21732-6_10"},{"key":"363_CR61","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: SLE, pp. 183\u2013202 (2010)","DOI":"10.1007\/978-3-642-19440-5_11"},{"key":"363_CR62","doi-asserted-by":"crossref","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: ICMT, pp. 123\u2013137 (2010)","DOI":"10.1007\/978-3-642-13688-7_9"},{"key":"363_CR63","doi-asserted-by":"crossref","unstructured":"Tisi M., Perez S.M., Jouault, F., Cabot, J.: Lazy execution of model-to-model transformations. In: MoDELS, pp. 32\u201346 (2011)","DOI":"10.1007\/978-3-642-24485-8_4"},{"key":"363_CR64","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Batory, D.S., K\u00e4stner, C.: Reasoning about edits to feature models. In: ICSE, pp. 254\u2013264 (2009)","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"363_CR65","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.W.: Staged configuration using feature models. In: SPLC, pp. 266\u2013283 (2004)","DOI":"10.1007\/978-3-540-28630-1_17"},{"key":"363_CR66","doi-asserted-by":"crossref","unstructured":"Saxena, T., Karsai, G.: MDE-based approach for generalizing design space exploration. In: MoDELS, pp. 46\u201360 (2010)","DOI":"10.1007\/978-3-642-16145-2_4"},{"issue":"3","key":"363_CR67","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10270-010-0185-5","volume":"11","author":"\u00c1 Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: Dynamic constraint satisfaction problems over models. Softw. Syst. Model. 11(3), 385\u2013408 (2012)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"363_CR68","doi-asserted-by":"crossref","first-page":"13:1","DOI":"10.1145\/2089116.2089123","volume":"21","author":"A Queralt","year":"2012","unstructured":"Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13:1\u201313:41 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0363-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0363-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0363-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T11:44:07Z","timestamp":1563277447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0363-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,27]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["363"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0363-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,27]]}}}