{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T18:40:52Z","timestamp":1771008052759,"version":"3.50.1"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:00:00Z","timestamp":1568937600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:00:00Z","timestamp":1568937600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1007\/s10270-019-00754-9","type":"journal-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T06:34:02Z","timestamp":1568961242000},"page":"601-623","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["A framework for FMI-based co-simulation of human\u2013machine interfaces"],"prefix":"10.1007","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6177-0928","authenticated-orcid":false,"given":"Maurizio","family":"Palmieri","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1604-4465","authenticated-orcid":false,"given":"Cinzia","family":"Bernardeschi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0667-7763","authenticated-orcid":false,"given":"Paolo","family":"Masci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,20]]},"reference":[{"key":"754_CR1","doi-asserted-by":"crossref","unstructured":"Abel, A., Blochwitz, T., Eichberger, A., Hamann, P., Rein, U.: Functional mock-up interface in mechatronic gearshift simulation for commercial vehicles. In: Proceedings of the 9th International MODELICA Conference, pp. 775\u2013780. Link\u00f6ping University Electronic Press (2012)","DOI":"10.3384\/ecp12076775"},{"issue":"2","key":"754_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"754_CR3","doi-asserted-by":"publisher","first-page":"308","DOI":"10.2345\/0899-8205-46.4.308","volume":"46","author":"D Arney","year":"2012","unstructured":"Arney, D., Goldman, J.M., Bhargav-Spantzel, A., Basu, A., Taborn, M., Pappas, G., Robkin, M.: Simulation of medical device network performance and requirements for an integrated clinical environment. Biomed. Instrum. Technol. 46(4), 308\u2013315 (2012)","journal-title":"Biomed. Instrum. Technol."},{"key":"754_CR4","unstructured":"Arney, D.A., Jetley, R., Jones, P., Lee, I., Ray, A., Sokolsky, O., Zhang, Y.: Generic infusion pump hazard analysis and safety requirements version 1.0. Technical Reports (CIS), pp. 1\u201317 (2009)"},{"key":"754_CR5","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL 4.0 (2006). \nhttp:\/\/www.it.uu.se\/research\/group\/darts\/papers\/texts\/new-tutorial.pdf"},{"key":"754_CR6","volume-title":"Process Control: Modeling, Design, and Simulation","author":"BW Bequette","year":"2003","unstructured":"Bequette, B.W.: Process Control: Modeling, Design, and Simulation. Prentice Hall Professional, Prentice (2003)"},{"key":"754_CR7","doi-asserted-by":"crossref","unstructured":"Bernardeschi, C., Domenici, A., Masci, P.: Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. In: 2016 IEEE Symposium on Computers and Communication (ISCC), pp. 135\u2013140 (2016)","DOI":"10.1109\/ISCC.2016.7543728"},{"issue":"6","key":"754_CR8","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1109\/TSE.2017.2694423","volume":"44","author":"C Bernardeschi","year":"2018","unstructured":"Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Softw. Eng. 44(6), 512\u2013533 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"754_CR9","doi-asserted-by":"crossref","unstructured":"Bernardeschi, C., Masci, P., Caramella, D., Dell\u2019Osso, R.: The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT. SIGBED Rev., Special Issue on Medical Cyber-Physical Systems Workshop 2018 (MCPS\u201918), vol. 16, no. 2, pp. 41\u201345 (2019)","DOI":"10.1145\/3357495.3357500"},{"key":"754_CR10","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., \u00c5kesson, J., Arnold, M., Clau\u00df, C., Elmqvist, H., Friedrich, M., Junghanns, A., Mau\u00df, J., Neumerkel, D., Olsson, H., Viel, A.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference, pp. 173\u2013184. The Modelica Association (2012)","DOI":"10.3384\/ecp12076173"},{"issue":"5","key":"754_CR11","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TSMCA.2011.2109709","volume":"41","author":"ML Bolton","year":"2011","unstructured":"Bolton, M.L., Siminiceanu, R.I., Bass, E.J.: A systematic approach to model checking human-automation interaction using task analytic models. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 41(5), 961\u2013976 (2011)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A Syst. Hum."},{"key":"754_CR12","doi-asserted-by":"crossref","unstructured":"Campos, J.C., Harrison, M.D.: Interaction engineering using the IVY tool. In: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 35\u201344. ACM (2009)","DOI":"10.1145\/1570433.1570442"},{"key":"754_CR13","unstructured":"Chaudemar, J.-C., Savicks, V., Butler, M., Colley, J.: Co-simulation of Event-B and Ptolemy II Models via FMI. In: ERTS 2014 \u201cEmbedded real time software and systems\u201d, Toulouse, FR (2014)"},{"key":"754_CR14","doi-asserted-by":"crossref","unstructured":"Diogo Couto, L., Basagiannis, S., Ridouane, El.H., El-Din Mady, A., Hasanagic, M., Gorm Larsen, P.: Injecting formal verification in FMI-based co-simulations of cyber-physical systems. In: Cerone, A., Roveri, M. (eds) Software Engineering and Formal Methods, pp. 284\u2013299. Springer, Cham (2018)","DOI":"10.1007\/978-3-319-74781-1_20"},{"key":"754_CR15","unstructured":"Fritzson, P., Aronsson, P., Lundvall, H., Nystr\u00f6m, K., Pop, A., Saldamli, L., Broman, D.:. The open modelica modeling, simulation, and development environment. In: In Proceedings of the 46th Conference on Simulation and Modeling of the Scandinavian Simulation Society (SIMS2005), pp. 83\u201390 (2005)"},{"key":"754_CR16","unstructured":"Garro, A., Falcone, A.: On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation. In: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, DEVS\u201915, pp. 9\u201316. Society for Computer Simulation International (2015)"},{"key":"754_CR17","volume-title":"Proofs and Types, volume\u00a07 of Cambridge Tracts in Theoretical Computer Science","author":"J-Y Girard","year":"1990","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types, volume\u00a07 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)"},{"key":"754_CR18","doi-asserted-by":"crossref","unstructured":"Goderis, A., Brooks, C., Altintas, I., Lee, E.A., Goble, C.: Composing different models of computation in Kepler and Ptolemy II. In: International Conference on Computational Science, pp. 182\u2013190. Springer (2007)","DOI":"10.1007\/978-3-540-72588-6_33"},{"key":"754_CR19","unstructured":"Goldman, J.M.: Medical devices and medical systems\u2014essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE)\u2014Part 1: general requirements and conceptual model. ASTM Int. (2008)"},{"issue":"3","key":"754_CR20","doi-asserted-by":"publisher","first-page":"49:1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Thule, C., Broman, D., Gorm Larsen, P., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018)","journal-title":"ACM Comput. Surv."},{"key":"754_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.scico.2019.02.003","volume":"175","author":"MD Harrison","year":"2019","unstructured":"Harrison, M.D., Freitas, L., Drinnan, M., Campos, J.C., Masci, P., di Maria, C., Whitaker, M.: Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175, 17\u201334 (2019)","journal-title":"Sci. Comput. Program."},{"key":"754_CR22","doi-asserted-by":"crossref","unstructured":"Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Verification of user interface software: the example of use-related safety requirements and programmable medical devices. IEEE Trans. Hum. Mach. Syst. (to appear) (2017)","DOI":"10.1109\/THMS.2017.2717910"},{"key":"754_CR23","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: SCR: A toolset for specifying and analyzing software requirements. In: International Conference on Computer Aided Verification, pp. 526\u2013531. Springer (1998)","DOI":"10.1007\/BFb0028775"},{"issue":"2","key":"754_CR24","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193\u2013244 (1994)","journal-title":"Inf. Comput."},{"key":"754_CR25","unstructured":"Krammer, M., Marko, N., Benedikt, M.: Interfacing real-time systems for advanced co-simulation-the ACOSAR approach. In: Software Technologies: Applications and Foundations (STAF) Doctoral Symposium\/Showcase, pp. 32\u201339 (2016)"},{"key":"754_CR26","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. et al.: Integrated tool chain for model-based design of Cy-Physical Systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1\u20136. IEEE (2016)","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"754_CR27","unstructured":"Masci, P., Mallozzi, P., DeAngelis, F.L., Serugendo, G.D.M, Curzon, P.: Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments. In: Proceedings of the Workshop on Verification and Assurance (Verisure2015), co-located with CAV2015 (2015)"},{"key":"754_CR28","doi-asserted-by":"crossref","unstructured":"Masci, P., Curzon, P., Harrison, M., Ayoub, A., Lee, I., Thimbleby, H.: Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 81\u201390. ACM (2013)","DOI":"10.1145\/2494603.2480302"},{"key":"754_CR29","first-page":"470","volume-title":"PVSio-web 2.0: Joining PVS to HCI","author":"P Masci","year":"2015","unstructured":"Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: PVSio-web 2.0: Joining PVS to HCI, pp. 470\u2013478. Springer, Berlin (2015)"},{"issue":"2","key":"754_CR30","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11334-013-0200-4","volume":"11","author":"P Masci","year":"2015","unstructured":"Masci, P., Ruk\u0161enas, R., Oladimeji, P., Cauchi, A., Gimblett, A., Li, Y., Curzon, P., Thimbleby, H.: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11(2), 73\u201393 (2015)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"754_CR31","doi-asserted-by":"crossref","unstructured":"Masci, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: Formal verification of medical device user interfaces using PVS. In: ETAPS\/FASE2014, 17th International Conference on Fundamental Approaches to Software Engineering. Springer, Berlin (2014)","DOI":"10.1007\/978-3-642-54804-8_14"},{"key":"754_CR32","unstructured":"Masci, P., Zhang, Y., Jones, P.L., Oladimeji, P., D\u2019Urso, E., Bernardeschi, C., Curzon, P., Thimbleby, H.: Combining PVSio with stateflow. In: NASA Formal Methods\u20146th International Symposium, NFM 2014, Houston, TX, USA, April 29\u2013May 1, 2014. Proceedings, pp. 209\u2013214 (2014)"},{"key":"754_CR33","doi-asserted-by":"crossref","unstructured":"Mauro, G., Thimbleby, H., Domenici, A., Bernardeschi, C.: Extending a user interface prototyping tool with automatic MISRA C code generation. In Dubois, C., Masci, P., M\u00e9ry, D. (eds). Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, volume 240 of EPTCS, pp. 53\u201366 (2016)","DOI":"10.4204\/EPTCS.240.4"},{"key":"754_CR34","unstructured":"Mu\u00f1oz, C.: Rapid prototyping in PVS. Technical report, National Institute of Aerospace, Hampton, VA, USA (2003)"},{"key":"754_CR35","doi-asserted-by":"crossref","unstructured":"Nagele, T., Hooman, J.: Co-simulation of cyber-physical systems using HLA. In: Proceedings of the IEEE Computing and Communication Workshop and Conference, CCWC\u201917, pp. 1\u20136 (2017)","DOI":"10.1109\/CCWC.2017.7868401"},{"key":"754_CR36","unstructured":"CNN News: Tesla in autopilot mode crashes into fire truck, 2018. \nhttp:\/\/money.cnn.com\/2018\/01\/23\/technology\/tesla-fire-truck-crash\/index.html"},{"key":"754_CR37","unstructured":"CNN News: Uber self-driving car kills pedestrian in first fatal autonomous crash, 2018. \nhttp:\/\/money.cnn.com\/2018\/03\/19\/technology\/uber-autonomous-car-fatal-crash\/index.html"},{"key":"754_CR38","doi-asserted-by":"crossref","unstructured":"Owre, S., Rushby, J., Shankar, N., Stringer-Calvert, D.: PVS: an experience report. In: Applied Formal Methods, number 531 in LNCS, pp. 338\u2013345. Springer (1998)","DOI":"10.1007\/3-540-48257-1_24"},{"key":"754_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction \u2013 CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) Automated Deduction \u2013 CADE-11. Lecture Notes in Computer Science, vol. 607, pp. 748\u2013752. Springer, Berlin (1992)"},{"issue":"2","key":"754_CR40","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S Owre","year":"1995","unstructured":"Owre, S., Rushby, J., Shankar, N., Von Henke, F.: Formal verification for fault-tolerant architectures: prolegomena to the design of PVS. IEEE Trans. Softw. Eng. 21(2), 107\u2013125 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"754_CR41","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TII.2012.2226594","volume":"10","author":"M Pajic","year":"2014","unstructured":"Pajic, M., Mangharam, R., Sokolsky, O., Arney, D., Goldman, J., Lee, I.: Model-driven safety analysis of closed-loop medical systems. IEEE Trans. Ind. Inform. 10(1), 3\u201316 (2014)","journal-title":"IEEE Trans. Ind. Inform."},{"issue":"1","key":"754_CR42","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MIE.2016.2639825","volume":"11","author":"P Palensky","year":"2017","unstructured":"Palensky, P., Van Der Meer, A.A., Lopez, C.D., Joseph, A., Pan, K.: Cosimulation of intelligent power systems: fundamentals, software architecture, numerics, and coupling. IEEE Ind. Electron. Mag. 11(1), 34\u201350 (2017)","journal-title":"IEEE Ind. Electron. Mag."},{"issue":"2","key":"754_CR43","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MIE.2017.2671198","volume":"11","author":"P Palensky","year":"2017","unstructured":"Palensky, P., van der Meer, A., Lopez, C., Joseph, A., Pan, K.: Applied cosimulation of intelligent power systems: implementing hybrid simulators for complex power systems. IEEE Ind. Electron. Mag. 11(2), 6\u201321 (2017)","journal-title":"IEEE Ind. Electron. Mag."},{"key":"754_CR44","doi-asserted-by":"crossref","unstructured":"Palmieri, M., Bernardeschi, C, Masci, P.: Co-simulation of semi-autonomous systems: the line follower robot case study. In: Cerone, A. Roveri, M (eds.) Software Engineering and Formal Methods\u2014SEFM 2017 Collocated Workshops, Revised Selected Papers, volume 10729 of Lecture Notes in Computer Science, pp. 423\u2013437. Springer (2017)","DOI":"10.1007\/978-3-319-74781-1_29"},{"key":"754_CR45","doi-asserted-by":"crossref","unstructured":"Palmieri, M., Bernardeschi, C., Masci, P.: A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers, volume 11176 of Lecture Notes in Computer Science, pp. 21\u201333. Springer (2018)","DOI":"10.1007\/978-3-030-04771-9_2"},{"key":"754_CR46","doi-asserted-by":"crossref","unstructured":"Paterno, F., Santoro, C., Davide Spano L.: MARIA: a universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments. ACM Transactions on Computer\u2013Human Interaction (TOCHI), 16 (2009)","DOI":"10.1145\/1614390.1614394"},{"key":"754_CR47","unstructured":"Pedersen, N., Bojsen, T., Madsen, J.: Co-simulation of cyber physical systems with HMI for human in the loop investigations. In: Proceedings of the Symposium on Theory of Modeling & Simulation, TMS\/DEVS \u201917, pp. 1:1\u20131:12. Society for Computer Simulation International, San Diego, CA (2017)"},{"issue":"1","key":"754_CR48","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe [formal system design]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(1), 17\u201332 (2004)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"754_CR49","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.simpat.2018.12.005","volume":"92","author":"C Thule","year":"2019","unstructured":"Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Gorm Larsen, P.: Maestro: the INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92, 45\u201361 (2019)","journal-title":"Simul. Model. Pract. Theory"},{"key":"754_CR50","doi-asserted-by":"crossref","unstructured":"Wang, B., Baras, J.S.: HybridSim: a modeling and co-simulation toolchain for cyber-physical systems. In: 2013 IEEE\/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, pp. 33\u201340 (2013)","DOI":"10.1109\/DS-RT.2013.12"},{"key":"754_CR51","unstructured":"Zambonelli, F., Omicini, A., Anzengru, B., Castelli, G., De Angelis, F.L., Di Marzo Serugendo, G., Dobson, S., Luis Fernandez-Marquez, J., Ferscha, A., Mamei, M. et al.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive Mob. Comput. 17, 236\u2013252 (2015)"},{"key":"754_CR52","doi-asserted-by":"crossref","unstructured":"Zeyda, F., Ouy, J., Foster, S., Cavalcanti, A.: Formalising cosimulation models. In: Cerone, A., Roveri, M. (eds.) Software Engineering and Formal Methods, pp. 453\u2013468. Springer International Publishing, Cham (2018)","DOI":"10.1007\/978-3-319-74781-1_31"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00754-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00754-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00754-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T23:22:13Z","timestamp":1600471333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00754-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,20]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["754"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00754-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,20]]},"assertion":[{"value":"30 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 August 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 September 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}