{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T15:39:25Z","timestamp":1758814765980,"version":"3.41.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,2,28]],"date-time":"2018-02-28T00:00:00Z","timestamp":1519776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10009-018-0489-2","type":"journal-article","created":{"date-parts":[[2018,2,28]],"date-time":"2018-02-28T11:13:34Z","timestamp":1519816414000},"page":"425-448","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Complementary test selection criteria for model-based testing of security components"],"prefix":"10.1007","volume":"21","author":[{"given":"Julien","family":"Botella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Capuron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeta","family":"Fourneret","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Legeard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Schadle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,28]]},"reference":[{"key":"489_CR1","unstructured":"Common criteria for information technology security evaluation, version 3.1, July (2009)"},{"key":"489_CR2","unstructured":"RSA Laboratories. Pkcs#11 specification (2004)"},{"key":"489_CR3","unstructured":"Global Platform Consortium. Global platform uicc configuration version 1.0, October (2008)"},{"issue":"1","key":"489_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/JCS-2006-14101","volume":"14","author":"V Cortier","year":"2006","unstructured":"Cortier, V., Delaune, S., Lafourcade, P.: A survey of algebraic properties used in cryptographic protocols. J. Comput. Secur. 14(1), 1\u201343 (2006)","journal-title":"J. Comput. Secur."},{"key":"489_CR5","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1002\/stvr.1531","volume":"25","author":"F Dadeau","year":"2014","unstructured":"Dadeau, F., H\u00e9am, P.-C., Kheddam, R., Maatoug, G., Rusinowitch, M.: Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verif. Reliab. 25, 684\u2013711 (2014)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"489_CR6","doi-asserted-by":"crossref","unstructured":"Wimmel, G., J\u00fcrjens, J.: Specification-based test generation for security-critical systems using mutations. In: ICFEM \u201902: Proceedings of the 4th International Conference on Formal Engineering Methods, pages 471\u2013482, London, UK. Springer (2002)","DOI":"10.1007\/3-540-36103-0_48"},{"key":"489_CR7","doi-asserted-by":"crossref","unstructured":"Lazar, D., Chen, H., Wang, X., Zeldovich, N.: Why does cryptographic software fail?: A case study and open problems. In: Proceedings of 5th Asia-Pacific Workshop on Systems, APSys \u201914, New York, NY, USA, pp. 7:1\u20137:7. ACM (2014)","DOI":"10.1145\/2637166.2637237"},{"key":"489_CR8","doi-asserted-by":"crossref","unstructured":"Hemmati, H.: How effective are code coverage criteria? An empirical analysis of 274 faults. In: Proceedings of the IEEE International Conference on Software Quality Reliability and Security (2015)","DOI":"10.1109\/QRS.2015.30"},{"key":"489_CR9","doi-asserted-by":"crossref","unstructured":"Bortolozzo, M., Centenaro, M., Focardi, R., Steel, G.: Attacking and fixing pkcs#11 security tokens. In: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS \u201910, pp. 260\u2013269. ACM, New York (2010)","DOI":"10.1145\/1866307.1866337"},{"key":"489_CR10","volume-title":"Black-Box Testing: Techniques for Functional Testing of Software and Systems","author":"B Beizer","year":"1995","unstructured":"Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. Wiley, New York (1995)"},{"key":"489_CR11","first-page":"550","volume-title":"Practical Model-Based Testing\u2014a Tools Approach","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing\u2014a Tools Approach, p. 550. Elsevier Science, Amsterdam (2006)"},{"key":"489_CR12","doi-asserted-by":"crossref","unstructured":"Bernabeu, G., Jaffuel, E., Legeard, B., Peureux, F.: MBT for global platform compliance testing: experience report and lessons learned. In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, 3\u20136 November 2014, pp. 66\u201370 (2014)","DOI":"10.1109\/ISSREW.2014.91"},{"issue":"1","key":"489_CR13","first-page":"335","volume":"5","author":"P-A Masson","year":"2010","unstructured":"Masson, P.-A., Potet, M.-L., Julliand, J., Tissot, R., Debois, G., Legeard, B., Chetali, B., Bouquet, F., Jaffuel, E., Van Aertrick, L., Andronick, J., Haddad, A.: An access control model based testing approach for smart card applications: results of the POS\u00c9 project. JIAS J. Inf. Assur. Secur. 5(1), 335\u2013351 (2010)","journal-title":"JIAS J. Inf. Assur. Secur."},{"key":"489_CR14","doi-asserted-by":"crossref","unstructured":"Botella, J., Bouquet, F., Capuron, J.-F., Lebeau, F., Legeard, B., Schadle, F.: Model-based testing of cryptographic components\u2014lessons learned from experience. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, 18\u201322 March 2013, pp. 192\u2013201 (2013)","DOI":"10.1109\/ICST.2013.42"},{"key":"489_CR15","doi-asserted-by":"crossref","unstructured":"Castillos, K.\u00a0Cabrera, Dadeau, F., Julliand, J.: Coverage criteria for model-based testing using property patterns. In: Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014, pp. 29\u201343 (2014)","DOI":"10.4204\/EPTCS.141.3"},{"key":"489_CR16","unstructured":"International Software Testing Qualifications Board. Standard glossary of terms used in software testing, March (2015)"},{"issue":"5","key":"489_CR17","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"489_CR18","doi-asserted-by":"crossref","unstructured":"Graettinger, C.P., Garcia, S., Siviy, J., Schenk, R.J., VanSyckle, P.J.: Using the technology readiness levels scale to support technology management in the DoDs ATD\/STO environments. Technical Report CMU\/SEI-2002-SR-027, Carnegie Mellon University and Software Engineering Institute, September (2002)","DOI":"10.21236\/ADA407785"},{"key":"489_CR19","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: 3rd International Workshop on Advances in Model Based Testing, pp. 95\u2013104 (2007)","DOI":"10.1145\/1291535.1291545"},{"key":"489_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-009-0132-9","volume":"23","author":"J Julliand","year":"2011","unstructured":"Julliand, J., Masson, P.-A., Tissot, R., Bu\u00e9, P.-C.: Generating tests from B specifications and dynamic selection criteria. FAC Form. Asp. Comput. 23, 3\u201319 (2011)","journal-title":"FAC Form. Asp. Comput."},{"key":"489_CR21","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE \u201999, New York, NY, USA, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"issue":"2","key":"489_CR22","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/2460383.2460384","volume":"7","author":"M Anisetti","year":"2013","unstructured":"Anisetti, M., Ardagna, C.A., Damiani, E., Saonara, F.: A test-based security certification scheme for web services. ACM Trans. Web 7(2), 5:1\u20135:41 (2013)","journal-title":"ACM Trans. Web"},{"key":"489_CR23","unstructured":"Bernet, J.: Tasccc project: deliverable 5.5\u2014report on the industrial use of the tasccc process. Technical report, Gemalto (2012)"},{"key":"489_CR24","unstructured":"Rouillard, D.: Tasccc project\u2014deliverable 5.4\u2014report on the integration of the ate requirements. Technical report, Serma Technologies (2012)"},{"key":"489_CR25","first-page":"647","volume":"70","author":"G Tian-yang","year":"2010","unstructured":"Tian-yang, G., Yin-sheng, S., You-yuan, F.: Research on software security testing. World Acad. Sci. Eng. Technol. 70, 647\u2013651 (2010)","journal-title":"World Acad. Sci. Eng. Technol."},{"key":"489_CR26","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/stvr.1580","volume":"26","author":"M Felderer","year":"2015","unstructured":"Felderer, M., Zech, P., Breu, R., Bchler, M., Pretschner, A.: Model-based security testing: a taxonomy and systematic classification. Softw. Test. Verif. Reliab. 26, 119\u2013148 (2015)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"489_CR27","doi-asserted-by":"crossref","unstructured":"Le\u00a0Traon, Y., Mouelhi, T., Pretschner, A., Baudry, B.: Test-driven assessment of access control in legacy applications. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 238\u2013247 (2008)","DOI":"10.1109\/ICST.2008.60"},{"key":"489_CR28","doi-asserted-by":"crossref","unstructured":"Mouelhi, T., Fleurey, F., Baudry, B., Traon, Y.: A model-based framework for security policy specification, deployment and testing. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS \u201908, pp. 537\u2013552. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_38"},{"key":"489_CR29","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Mouelhi, T., le\u00a0Traon, Y.: Model-based tests for access control policies. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 338\u2013347 (2008)","DOI":"10.1109\/ICST.2008.44"},{"key":"489_CR30","doi-asserted-by":"crossref","unstructured":"Xu, D., Thomas, L., Kent, M., Mouelhi, T., Le\u00a0Traon, Y.: A model-based approach to automated testing of access control policies. In: Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, SACMAT \u201912, New York, NY, USA, pp. 209\u2013218. ACM (2012)","DOI":"10.1145\/2295136.2295173"},{"key":"489_CR31","doi-asserted-by":"crossref","unstructured":"Anisetti, M., Ardagna, C.A., Bezzi, M., Damiani, E., Sabetta, A.: Machine-readable privacy certificates for services. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) On the Move to Meaningful Internet Systems: OTM 2013 Conferences. Lecture Notes in Computer Science, vol.\u00a08185, pp.\u00a0434\u2013450. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-41030-7_31"},{"key":"489_CR32","doi-asserted-by":"crossref","unstructured":"Mallouli, W., Lallali, M., Mammar, A., Morales, G., Cavalli, A.: Modeling and testing secureweb applications. In: Web-Based Information Technologies and Distributed Systems, volume\u00a02 of Atlantis Ambient and Pervasive Intelligence, pp. 207\u2013255. Atlantis Press (2010)","DOI":"10.2991\/978-94-91216-32-9_10"},{"key":"489_CR33","doi-asserted-by":"crossref","unstructured":"Rosenzweig, D., Runje, D., Schulte, W.: Model based testing of cryptographic protocols. In: De Nicola R., Sangiorgi D. (eds.) Trustworthy Global Computing, volume 3705 of Lecture Notes in Computer Science, pp. 33\u201360. Springer, Berlin (2005)","DOI":"10.1007\/11580850_4"},{"key":"489_CR34","doi-asserted-by":"crossref","unstructured":"Schneider, M., Grossmann, J., Schieferdecker, I., Pietschker, A.: Online model-based behavioral fuzzing. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp. 469\u2013475 (2013)","DOI":"10.1109\/ICSTW.2013.61"},{"key":"489_CR35","doi-asserted-by":"crossref","unstructured":"Johansson, W., Svensson, M., Larson, U.E., Almgren, M., Gulisano, V.: T-fuzz: model-based fuzzing for robustness testing of telecommunication protocols. In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp. 323\u2013332 (2014)","DOI":"10.1109\/ICST.2014.45"},{"key":"489_CR36","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Wimmel, G.: Formally testing fail-safety of electronic purse protocols. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 408\u2013411 (2001)","DOI":"10.1109\/ASE.2001.989840"},{"key":"489_CR37","unstructured":"Slotosch, O., Molterer, S., Sihling, M., Rausch, A., Schtz, B., Huber, F.: Tool supported specification and simulation of distributed systems. In: International Symposium on Software Engineering for Parallel and Distributed Systems, p. 155 (1998)"},{"key":"489_CR38","doi-asserted-by":"crossref","unstructured":"Botella, J., Legeard, B., Peureux, F., Vernotte, A.: Risk-based vulnerability testing using security test patterns. In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications\u20146th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, 8\u201311 October 2014, Proceedings, Part II, pp. 337\u2013352 (2014)","DOI":"10.1007\/978-3-662-45231-8_24"},{"key":"489_CR39","doi-asserted-by":"crossref","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Proceedings of the Joint 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (1999)","DOI":"10.1145\/318774.318939"},{"key":"489_CR40","unstructured":"Tan, L., Sokolsky, O., Lee, I.: Specification-based testing with linear temporal logic. In: IRI\u20192004, IEEE International Conference on Information Reuse and Integration, pp. 413\u2013498 (2004)"},{"key":"489_CR41","doi-asserted-by":"crossref","unstructured":"Amman, P., Ding, W., Xu, D.: Using a model checker to test safety properties. In: 7th International Conference on Engineering of Complex Computer Systems (ICECCS\u201901), p. 212. IEEE (2001)","DOI":"10.1109\/ICECCS.2001.930180"},{"key":"489_CR42","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s11219-007-9031-6","volume":"16","author":"G Fraser","year":"2008","unstructured":"Fraser, G., Wotawa, F.: Using model-checkers to generate and analyze property relevant test-cases. Softw. Qual. J. 16, 161\u2013183 (2008)","journal-title":"Softw. Qual. J."},{"issue":"1","key":"489_CR43","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2008.11.004","volume":"220","author":"Y Falcone","year":"2008","unstructured":"Falcone, Y., Mounier, L., Fernandez, J.-C., Richier, J.-L.: j-POST: a Java Toolchain for property-oriented software testing. Electron. Notes Theor. Comput. Sci. 220(1), 29\u201341 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"489_CR44","doi-asserted-by":"crossref","unstructured":"Rusu, V., Marchand, H., J\u00e9ron, T.: Automatic verification and conformance testing for validating safety properties of reactive systems. In: Fitzgerald J., Tarlecki A., Hayes I. (eds.) Formal Methods 2005 (FM05), LNCS. Springer (2005)","DOI":"10.1007\/11526841_14"},{"key":"489_CR45","unstructured":"Felderer, M., Agreiter, B., Zech, P., Breu, R.: A classification for model-based security testing. In: Proceedings of the 3rd International Conference on Advances in System Testing and Validation Lifecycle(VALID 2011), pp. 109\u2013114 (2011)"},{"issue":"4","key":"489_CR46","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: Tgv: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf. 7(4), 297\u2013315 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"489_CR47","doi-asserted-by":"crossref","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: a tool for generating symbolic test programs and oracles from operational specifications. In: ESEC\/FSE-9: Proceedings of the 8th European Software Engineering Conference, pp. 301\u2013302. ACM, New York (2001)","DOI":"10.1145\/503209.503252"},{"key":"489_CR48","unstructured":"Tretmans, G.\u00a0J., Brinksma, H.: TorX: automated model-based testing. In: First European Conference on Model-Driven Software Engineering, Nuremberg, Germany, pp. 31\u201343 (2003)"},{"key":"489_CR49","doi-asserted-by":"crossref","unstructured":"Bigot, C., Faivre, A., Gallois, J.-P., Lapitre, A., Lugato, D., Pierron, J.-Y., Rapin, N.: Automatic test generation with AGATHA. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference. LNCS, vol.\u00a02619, pp. 591\u2013596. Springer (2003)","DOI":"10.1007\/3-540-36577-X_43"},{"issue":"5","key":"489_CR50","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1049\/sej.1991.0032","volume":"6","author":"VR Basili","year":"1991","unstructured":"Basili, V.R., Rombach, H.D.: Support for comprehensive reuse. Softw. Eng. J. 6(5), 303\u2013316 (1991)","journal-title":"Softw. Eng. J."},{"issue":"4","key":"489_CR51","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s10664-005-3862-1","volume":"10","author":"S Vegas","year":"2005","unstructured":"Vegas, S., Basili, V.: A characterisation schema for software testing techniques. Empir. Softw. Eng. 10(4), 437\u2013466 (2005)","journal-title":"Empir. Softw. Eng."},{"issue":"10","key":"489_CR52","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1109\/TSE.2014.2312915","volume":"40","author":"AC Dias-Neto","year":"2014","unstructured":"Dias-Neto, A.C., Travassos, G.Horta: Supporting the combined selection of model-based testing techniques. IEEE Trans. Softw. Eng. 40(10), 1025\u20131041 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"489_CR53","doi-asserted-by":"crossref","unstructured":"Wojcicki, M.A., Strooper, P.: An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. In: Software Quality, 2007. WoSQ\u201907: ICSE Workshops 2007. Fifth International Workshop on, p. 9 (2007)","DOI":"10.1109\/WOSQ.2007.4"},{"key":"489_CR54","unstructured":"Victor, M., Upadhyay, N.: Selection of software testing technique: a multi criteria decision making approach. In Nagamalai D., Renault E., Dhanuskodi M. (eds.) Trends in Computer Science, Engineering and Information Technology: First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23\u201325, 2011. Proceedings, pp. 453\u2013462. Springer (2011)"},{"key":"489_CR55","unstructured":"Fourneret, E., Ochoa, M., Bouquet, F., Botella, J., J\u00fcrjens, J., Yousefi, P.: Model-based security verification and testing for smart-cards. In: Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22\u201326, 2011, pp. 272\u2013279 (2011)"},{"key":"489_CR56","volume-title":"Secure Systems Development with UML","author":"J J\u00fcrjens","year":"2010","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer, Berlin (2010)"},{"key":"489_CR57","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P Baker","year":"2007","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, O., Schieferdecker, I., Williams, C.: Model-Driven Testing: Using the UML Testing Profile. Springer, New York (2007)"},{"key":"489_CR58","unstructured":"Global Platform Device Commitee. Global platform tee protection profile version 1.0, August (2013)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-018-0489-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-0489-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-0489-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T03:47:18Z","timestamp":1751428038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-018-0489-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,28]]},"references-count":58,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["489"],"URL":"https:\/\/doi.org\/10.1007\/s10009-018-0489-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2018,2,28]]},"assertion":[{"value":"28 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}