{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:40:09Z","timestamp":1745944809134,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_4","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"69-88","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis-Based Variability Control: Correctness by Construction"],"prefix":"10.1007","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"issue":"7","key":"4_CR2","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1016\/j.infsof.2006.08.001","volume":"49","author":"M. Sinnema","year":"2006","unstructured":"Sinnema, M., Deelstra, S.: Classifying variability modeling techniques. Information and Software Technology\u00a049(7), 717\u2013739 (2006)","journal-title":"Information and Software Technology"},{"key":"4_CR3","unstructured":"Czarnecki, K.: Variability Modeling: State of the Art and Future Directions. In: VaMoS, ICB-Research Report No. 37, University of Duisburg Essen, p. 11 (2010)"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1016\/j.infsof.2010.12.006","volume":"53","author":"L. Chen","year":"2011","unstructured":"Chen, L., Babar, M.A.: A systematic review of evaluation of variability management approaches in software product lines. Information and Software Technology\u00a053(4), 344\u2013362 (2011)","journal-title":"Information and Software Technology"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Schaefer, I., Kuhlemann, M., Apel, S.: Proof composition for deductive verification of software product lines. In: Proc. Int\u2019l Workshop Variability-intensive Systems Testing, Validation and Verification (VAST), pp. 270\u2013277. IEEE Computer Society (2011)","DOI":"10.1109\/ICSTW.2011.48"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Lochau, M., Oster, S., Goltz, U., Sch\u00fcrr, A.: Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering. Software Quality Journal, 1\u201338 (2011)","DOI":"10.1007\/s11219-011-9165-4"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-18070-5_5","volume-title":"Formal Verification of Object-Oriented Software","author":"D. Bruns","year":"2011","unstructured":"Bruns, D., Klebanov, V., Schaefer, I.: Verification of Software Product Lines with Delta-Oriented Slicing. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol.\u00a06528, pp. 61\u201375. Springer, Heidelberg (2011)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujilol, S., Villela, K.: Software Diversity \u2013 State of the Art and Perspectives. STTT (2012)","DOI":"10.1007\/s10009-012-0253-y"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/1806799.1806850","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering (ICSE 2010)","author":"A. Classen","year":"2010","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering (ICSE 2010), vol.\u00a01, pp. 335\u2013344. ACM, New York (2010)"},{"key":"4_CR10","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Deontic logics for modeling behavioural variability. In: VaMoS, Essen, Germany, pp. 71\u201376 (January 2009)"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10515-010-0066-8","volume":"17","author":"S. Apel","year":"2010","unstructured":"Apel, S., K\u00e4stner, C., Gr\u00f6sslinger, A., Lengauer, C.: Type safety for feature-oriented product lines. Automated Software Engineering\u00a017(3), 251\u2013300 (2010)","journal-title":"Automated Software Engineering"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Th\u00fcm, T., Saake, G.: Type checking annotation-based product lines. ACM Transactions on Software Engineering and Methodology (TOSEM) (to appear, 2012)","DOI":"10.1145\/2211616.2211617"},{"key":"4_CR13","unstructured":"Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P.Y., Legay, A.: Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking. In: Proceedings of 34th International Conference on Software Engineering (ICSE 2012). IEEE (to appear, 2012)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-34026-0_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"R. H\u00e4hnle","year":"2012","unstructured":"H\u00e4hnle, R., Schaefer, I.: A Liskov Principle for Delta-Oriented Programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 32\u201346. Springer, Heidelberg (2012)"},{"issue":"6","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Delaware, B., Cook, W., Batory, D.: A Machine-Checked Model of Safe Composition. In: 8th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2009), pp. 31\u201335. ACM (2009)","DOI":"10.1145\/1509837.1509846"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F.: Compositional type-checking for delta-oriented programming. In: 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), pp. 43\u201356. ACM (2011)","DOI":"10.1145\/1960275.1960283"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Lamprecht, A.L., Margaria, T.: Constraint-oriented Variability Modeling. In: Rash, J., Rouff, C. (eds.) 34th Annual IEEE Software Engineering Workshop (SEW-34), pp. 77\u201383. IEEE CS Press (June 2011)","DOI":"10.1109\/SEW.2011.17"},{"key":"4_CR19","first-page":"321","volume-title":"Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011)","author":"A. Classen","year":"2011","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic model checking of software product lines. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), pp. 321\u2013330. ACM, New York (2011)"},{"key":"4_CR20","unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1993)"},{"key":"4_CR21","unstructured":"Freitag, B., Steffen, B., Margaria, T., Zukowski, U.: An Approach to Intelligent Software Library Management. In: Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA), pp. 71\u201378. World Scientific Press (1995)"},{"issue":"1-2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. International Journal on Software Tools for Technology Transfer (STTT)\u00a01(1-2), 9\u201330 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"4_CR23","unstructured":"Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: An incremental approach. In: ACM\/SIGPLAN Int. Workshop on Automated Analysis of Software (AAS 1997) (1997)"},{"key":"4_CR24","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Reitenspie\u00df, M.: An Environment for the Creation of Intelligent Network Services. In: Intelligent Networks: IN\/AIN Technologies, Operations, Services and Applications - A Comprehensive Report, IEC: International Engineering Consortium, pp. 287\u2013300 (1996)"},{"key":"4_CR25","unstructured":"Steffen, B.: Method for incremental synthesis of a discrete technical system (1998)"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lamprecht, A.L., Steffen, B.: Tailoring Process Synthesis to Domain Characteristics. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (2011)","DOI":"10.1109\/ICECCS.2011.24"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinformatics 10(suppl. 10), S8 (2009)","DOI":"10.1186\/1471-2105-10-S10-S8"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. Journal of Biomedical Semantics 2(suppl. 1), S5 (2011)","DOI":"10.1186\/2041-1480-2-S1-S5"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-Guided Workflow Composition Based on the EDAM Ontology. In: Burger, A., Marshall, M.S., Romano, P., Paschke, A., Splendiani, A. (eds.) Proceedings of the 3rd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010). CEUR Workshop Proceedings, vol.\u00a0698 (December 2010)","DOI":"10.1038\/npre.2010.5397.1"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC) (September 2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-28872-2_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Naujokat","year":"2012","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose Programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 94\u201398. Springer, Heidelberg (2012)"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B., Sczyrba, A., Hartmeier, S., Giegerich, R.: GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinformatics 9(suppl. 4), S13 (2008)","DOI":"10.1186\/1471-2105-9-S4-S13"},{"key":"4_CR33","unstructured":"Ebert, B.E.: A systems approach to understand and engineer whole-cell redox biocatalysts. Dissertation, Fakult\u00e4t Bio- und Chemieingenieurwesen, Technische Universit\u00e4t Dortmund (2011)"},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-61042-1_63","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Nisius, R., Reitenspie\u00df, M.: A Constraint-Oriented Service Creation Environment. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 418\u2013421. Springer, Heidelberg (1996)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: MetaFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"4_CR36","unstructured":"Margaria, T., Steffen, B.: Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. In: MBEES, pp. 51\u201362 (2005)"},{"key":"4_CR37","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2009)"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A Constraint-based Variability Modeling Framework. International Journal on Software Tools for Technology Transfer (STTT) (to appear, 2012)","DOI":"10.1007\/s10009-012-0254-x"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing-Approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0023444","volume-title":"STACS 97","author":"B. Steffen","year":"1997","unstructured":"Steffen, B.: Unifying Models. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol.\u00a01200, pp. 1\u201320. Springer, Heidelberg (1997)"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-18275-4_4","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B. Steffen","year":"2011","unstructured":"Steffen, B., R\u00fcthing, O.: Quality Engineering: Leveraging Heterogeneous Information (Invited Talk). In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 23\u201337. Springer, Heidelberg (2011)"},{"key":"4_CR42","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T. Margaria","year":"2012","unstructured":"Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012)"},{"issue":"2","key":"4_CR43","first-page":"78","volume":"17","author":"B. Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools\u00a017(2), 78\u201395 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"4_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","key":"4_CR45","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)"},{"key":"4_CR46","unstructured":"Schreiber, G., Dean, M.: OWL Web Ontology Language Reference. W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-ref\/ (last accessed June 25, 2012)"},{"key":"4_CR47","unstructured":"May, C.: Entwicklung einer Bibliothek zur service-orientierten Modellierung von Ontologien. Diploma thesis, TU Dortmund (2009)"},{"key":"4_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-16265-7_5","volume-title":"Integrated Formal Methods","author":"P. Asirelli","year":"2010","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal Description of Variability in Product Families. In: 15th International Software Product Line Conference, SPLC 2011, pp. 130\u2013139 (2011)","DOI":"10.1109\/SPLC.2011.34"},{"key":"4_CR50","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Temporal Logics. In: Model Checking, pp. 27\u201332. The MIT Press (1999)"},{"issue":"5","key":"4_CR51","doi-asserted-by":"publisher","first-page":"49","DOI":"10.5381\/jot.2009.8.5.c5","volume":"8","author":"S. Apel","year":"2009","unstructured":"Apel, S., K\u00e4stner, C.: An Overview of Feature-Oriented Software Development. Journal of Object Technology\u00a08(5), 49\u201384 (2009)","journal-title":"Journal of Object Technology"},{"key":"4_CR52","doi-asserted-by":"crossref","unstructured":"Larsen, K., Thomsen, B.: A modal process logic. In: Proceedings of the Third Annual Symposium on Logic in Computer Science, LICS 1988, pp. 203\u2013210 (July 1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"4_CR53","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM\u00a032, 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"4_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-61739-6_31","volume-title":"Static Analysis","author":"B. Steffen","year":"1996","unstructured":"Steffen, B.: Property-Oriented Expansion. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 22\u201341. Springer, Heidelberg (1996)"},{"key":"4_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1007\/BFb0035794","volume-title":"Automata, Languages and Programming","author":"B. Steffen","year":"1989","unstructured":"Steffen, B.: Characteristic Formulae. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 723\u2013732. Springer, Heidelberg (1989)"},{"issue":"1","key":"4_CR56","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1006\/inco.1994.1028","volume":"110","author":"B. Steffen","year":"1994","unstructured":"Steffen, B., Ing\u00f3lfsd\u00f3ttir, A.: Characteristic Formulae for Processes with Divergence. Information and Computation\u00a0110(1), 149\u2013163 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:49Z","timestamp":1745942449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}