{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:22:05Z","timestamp":1749921725201,"version":"3.37.3"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T00:00:00Z","timestamp":1675036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T00:00:00Z","timestamp":1675036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005690","name":"Universit\u00e4t des Saarlandes","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005690","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild. Concretely, we present an Android app that deploys <jats:sc>rtlola<\/jats:sc> runtime monitors for the purpose of diagnosing automotive exhaust emissions. For this, it harvests the availability of cheap Bluetooth adapters to the On-Board-Diagnostics\u00a0<jats:sc>(obd)<\/jats:sc> ports, which are ubiquitous in cars nowadays. The app is a central piece in a set of tools and services we have developed for black-box analysis of automotive vehicles. We detail its use in the context of real driving emission <jats:sc>(rde)<\/jats:sc> tests and report on sample runs that helped identify violations of the regulatory framework currently valid in the European Union.<\/jats:p>","DOI":"10.1007\/s10009-022-00689-5","type":"journal-article","created":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T16:21:53Z","timestamp":1675095713000},"page":"205-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On the road with RTLola"],"prefix":"10.1007","volume":"25","author":[{"given":"Sebastian","family":"Biewer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maximilian A.","family":"K\u00f6hl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannik","family":"Schnitzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maximilian","family":"Schwenger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,30]]},"reference":[{"key":"689_CR1","unstructured":"LolaDrives web page. https:\/\/loladrives.app"},{"key":"689_CR2","unstructured":"DDT4All: (2021) https:\/\/github.com\/cedricp\/ddt4all"},{"key":"689_CR3","doi-asserted-by":"publisher","unstructured":"Adolf, F., Faymonville, P., Finkbeiner, B., Schirmer, S., Torens, C.: Stream runtime monitoring on UAS. In: RV 2017, LNCS, vol. 10548, pp. 33\u201349. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-67531-2_3","DOI":"10.1007\/978-3-319-67531-2_3"},{"key":"689_CR4","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Schirmer, S., Schwenger, M., Torens, C.: RTLola cleared for take-off: monitoring autonomous aircraft. In: CAV 2020, LNCS, vol. 12225, pp. 28\u201339. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_3","DOI":"10.1007\/978-3-030-53291-8_3"},{"issue":"5s","key":"689_CR5","doi-asserted-by":"publisher","first-page":"88:1","DOI":"10.1145\/3358220","volume":"18","author":"J Baumeister","year":"2019","unstructured":"Baumeister, J., Finkbeiner, B., Schwenger, M., Torfah, H.: FPGA stream-monitoring of real-time properties. ACM Trans. Embedd. Comput. Syst. 18(5s), 88:1-88:24 (2019). https:\/\/doi.org\/10.1145\/3358220","journal-title":"ACM Trans. Embedd. Comput. Syst."},{"key":"689_CR6","unstructured":"BBC: Audi chief Rupert Stadler arrested in diesel emissions probe. BBC, https:\/\/www.bbc.com\/news\/business-44517753 (2018). Online; accessed: 2020-10-15"},{"key":"689_CR7","doi-asserted-by":"publisher","unstructured":"Biewer, S., D\u2019Argenio, P., Hermanns, H.: Doping tests for cyber-physical systems. In: D.\u00a0Parker, V.\u00a0Wolf (eds.) Quantitative Evaluation of Systems, In: 16th international conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, Lecture notes in computer science, vol. 11785, pp. 313\u2013331. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-30281-8_18","DOI":"10.1007\/978-3-030-30281-8_18"},{"key":"689_CR8","doi-asserted-by":"publisher","DOI":"10.1145\/3449354","author":"S Biewer","year":"2021","unstructured":"Biewer, S., D\u2019argenio, P.R., Hermanns, H.: Doping tests for cyber-physical systems. ACM Trans. Model. Comput. Simul. (2021). https:\/\/doi.org\/10.1145\/3449354","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"689_CR9","doi-asserted-by":"publisher","unstructured":"Biewer, S., Finkbeiner, B., Hermanns, H., K\u00f6hl, M.A., Schnitzer, Y., Schwenger, M.: Rtlola on board: testing real driving emissions on your phone. In: J.F. Groote, K.G. Larsen (eds.) Tools and algorithms for the construction and analysis of systems. In: 27th international conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, Lecture Notes in Computer Science, vol. 12652, pp. 365\u2013372. Springer (2021). doi: https:\/\/doi.org\/10.1007\/978-3-030-72013-1_20","DOI":"10.1007\/978-3-030-72013-1_20"},{"key":"689_CR10","unstructured":"Biewer, S., Hermanns, H.: LolaDrives (App) Privacy Policy. https:\/\/www.loladrives.app\/app-privacy-statement\/"},{"key":"689_CR11","doi-asserted-by":"publisher","unstructured":"Biewer, S., Hermanns, H.: On the detection of doped software by falsification. In: E.B. Johnsen, M.\u00a0Wimmer (eds.) Fundamental Approaches to Software Engineering - 25th international conference, FASE 2022, Held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Lecture Notes in Computer Science, vol. 13241, pp. 71\u201391. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_4","DOI":"10.1007\/978-3-030-99429-7_4"},{"key":"689_CR12","unstructured":"Biewer, S., Schnitzer, Y.: PCDF analyser (2021). https:\/\/github.com\/udsdepend\/pcdf-analyser"},{"key":"689_CR13","doi-asserted-by":"publisher","unstructured":"Cheshire, S., Baker, M.: Consistent overhead byte stuffing. In: C.\u00a0Diot, C.\u00a0Huitema, S.\u00a0Shenker, M.\u00a0Steenstrup (eds.) Proceedings of the ACM SIGCOMM 1997 conference on applications, technologies, architectures, and protocols for computer communication, September 14-18, 1997, Cannes, France, pp. 209\u2013220. ACM (1997). https:\/\/doi.org\/10.1145\/263105.263168","DOI":"10.1145\/263105.263168"},{"key":"689_CR14","doi-asserted-by":"publisher","unstructured":"Coenen, N., Finkbeiner, B., S\u00e1nchez, C., Tentrup, L.: Verifying hyperliveness. In: I.\u00a0Dillig, S.\u00a0Tasiran (eds.) Computer Aided Verification - 31st international conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Lecture Notes in Computer Science, vol. 11561, pp. 121\u2013139. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_7","DOI":"10.1007\/978-3-030-25540-4_7"},{"key":"689_CR15","doi-asserted-by":"publisher","unstructured":"Contag, M., Li, G., Pawlowski, A., Domke, F., Levchenko, K., Holz, T., Savage, S.: How they did it: an analysis of emission defeat devices in modern automobiles. In: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pp. 231\u2013250. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/SP.2017.66","DOI":"10.1109\/SP.2017.66"},{"key":"689_CR16","doi-asserted-by":"publisher","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: runtime monitoring of synchronous systems. In: TIME 2005, pp. 166\u2013174. IEEE Computer Society Press (2005). https:\/\/doi.org\/10.1109\/TIME.2005.26","DOI":"10.1109\/TIME.2005.26"},{"key":"689_CR17","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Barthe, G., Biewer, S., Finkbeiner, B., Hermanns, H.: Is your software on dope? - Formal analysis of surreptitiously \u201cenhanced\u201d programs. In: programming languages and systems - 26th European symposium on programming, ESOP 2017, Proceedings, LNCS, vol. 10201, pp. 83\u2013110. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54434-1_4","DOI":"10.1007\/978-3-662-54434-1_4"},{"key":"689_CR18","unstructured":"Deutsche Forschungsgemeinschaft \/ German Research Foundation: Guidelines for safeguarding good research practice \u2013 code of conduct. https:\/\/www.dfg.de\/download\/pdf\/foerderung\/rechtliche_rahmenbedingungen\/gute_wissenschaftliche_praxis\/kodex_gwp_en.pdf"},{"key":"689_CR19","doi-asserted-by":"publisher","unstructured":"Dimitrova, R., Gazda, M., Mousavi, M.R., Biewer, S., Hermanns, H.: Conformance-based doping detection for cyber-physical systems. In: A.\u00a0Gotsman, A.\u00a0Sokolova (eds.) Formal techniques for distributed objects, components, and systems - 40th IFIP WG 6.1 international conference, FORTE 2020, Held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Lecture notes in computer science, vol. 12136, pp. 59\u201377. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-50086-3_4","DOI":"10.1007\/978-3-030-50086-3_4"},{"key":"689_CR20","doi-asserted-by":"publisher","unstructured":"Dwork, C.: Differential privacy: a survey of results. In: M.\u00a0Agrawal, D.\u00a0Du, Z.\u00a0Duan, A.\u00a0Li (eds.) Theory and Applications of Models of Computation, 5th international conference, TAMC 2008, Xi\u2019an, China, April 25-29, 2008. Proceedings, Lecture Notes in Computer Science, vol. 4978, pp. 1\u201319. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-79228-4_1","DOI":"10.1007\/978-3-540-79228-4_1"},{"key":"689_CR21","first-page":"152","volume-title":"A Stream-Based Specification Language for Network Monitoring","author":"P Faymonville","year":"2016","unstructured":"Faymonville, P., Finkbeiner, B., Schirmer, S., Torfah, H.: A Stream-Based Specification Language for Network Monitoring, pp. 152\u2013168. Springer, Cham (2016)"},{"key":"689_CR22","doi-asserted-by":"publisher","unstructured":"Faymonville, P., Finkbeiner, B., Schledjewski, M., Schwenger, M., Stenger, M., Tentrup, L., Torfah, H.: StreamLAB: stream-based monitoring of cyber-physical systems. In: CAV 2019, LNCS, vol. 11561, pp. 421\u2013431. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_24","DOI":"10.1007\/978-3-030-25540-4_24"},{"key":"689_CR23","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Rabe, M.N., S\u00e1nchez, C.: Algorithms for model checking HyperLTL and HyperCTL$$^*$$. In: D.\u00a0Kroening, C.S. Pasareanu (eds.) Computer Aided Verification - 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, Lecture Notes in Computer Science, vol. 9206, pp. 30\u201348. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_3","DOI":"10.1007\/978-3-319-21690-4_3"},{"key":"689_CR24","doi-asserted-by":"publisher","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 IEEE symposium on security and privacy, Oakland, CA, USA, April 26-28, 1982, pp. 11\u201320. IEEE computer society (1982). https:\/\/doi.org\/10.1109\/SP.1982.10014","DOI":"10.1109\/SP.1982.10014"},{"key":"689_CR25","doi-asserted-by":"publisher","unstructured":"Hermanns, H., Biewer, S., D\u2019Argenio, P.R., K\u00f6hl, M.A.: Verification, testing, and runtime monitoring of automotive exhaust emissions. In: LPAR, pp. 1\u201317 (2018). https:\/\/doi.org\/10.29007\/6zxt","DOI":"10.29007\/6zxt"},{"key":"689_CR26","unstructured":"International Organization of Motor Vehicle Manufacturers: 2005-2019 sales statistics http:\/\/www.oica.net\/category\/sales-statistics"},{"key":"689_CR27","unstructured":"IPCC (Intergovernmental Panel on Climate Change): Climate change 2014: synthesis report. contribution of working groups i, ii and iii to the fifth assessment report of the intergovernmental panel on climate change (2014)"},{"key":"689_CR28","doi-asserted-by":"publisher","unstructured":"K\u00f6hl, M.A., Hermanns, H., Biewer, S.: Efficient monitoring of real driving emissions. In: C.\u00a0Colombo, M.\u00a0Leucker (eds.) Runtime verification - 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, Lecture notes in computer science, vol. 11237, pp. 299\u2013315. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_17","DOI":"10.1007\/978-3-030-03769-7_17"},{"key":"689_CR29","unstructured":"Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime assurance based on formal specifications. In: H.R. Arabnia (ed.) Proceedings of the international conference on parallel and distributed processing techniques and applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA, pp. 279\u2013287. CSREA Press (1999)"},{"issue":"1","key":"689_CR30","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1058150.1058158","volume":"34","author":"J Li","year":"2005","unstructured":"Li, J., Maier, D., Tufte, K., Papadimos, V., Tucker, P.A.: No pane, no gain: efficient evaluation of sliding-window aggregates over data streams. SIGMOD Rec. 34(1), 39\u201344 (2005). https:\/\/doi.org\/10.1145\/1058150.1058158","journal-title":"SIGMOD Rec."},{"issue":"1","key":"689_CR31","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10703-017-0275-x","volume":"51","author":"P Moosbrugger","year":"2017","unstructured":"Moosbrugger, P., Rozier, K.Y., Schumann, J.: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods Syst. Des. 51(1), 31\u201361 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0275-x","journal-title":"Formal Methods Syst. Des."},{"key":"689_CR32","volume-title":"The logic of sufficiency","author":"T Princen","year":"2005","unstructured":"Princen, T.: The logic of sufficiency. MIT Press, Cambridge (2005)"},{"issue":"1","key":"689_CR33","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10009-013-0296-8","volume":"17","author":"R Pulungan","year":"2015","unstructured":"Pulungan, R., Hermanns, H.: A construction and minimization service for continuous probability distributions. Int. J. Softw. Tools Technol. Transf. 17(1), 77\u201390 (2015). https:\/\/doi.org\/10.1007\/s10009-013-0296-8","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"689_CR34","unstructured":"Riley, C.: Volkswagen\u2019s diesel scandal costs hit \\$30 billion. CNN Business (2018). https:\/\/money.cnn.com\/2017\/09\/29\/investing\/volkswagen-diesel-cost-30-billion\/index.html. Online; accessed: 2020-10-15"},{"key":"689_CR35","unstructured":"Schneidewind, U.: Die gro\u00dfe Transformation: eine Einf\u00fchrung in die Kunst gesellschaftlichen Wandels. S. Fischer Verlag (2018)"},{"key":"689_CR36","unstructured":"Schnitzer, Y.: PCDF core (2021). https:\/\/github.com\/udsdepend\/pcdf-core"},{"key":"689_CR37","unstructured":"Schnitzer, Y., Biewer, S.: LolaDrives Android (2021). https:\/\/github.com\/udsdepend\/loladrives-android"},{"key":"689_CR38","unstructured":"Schwenger, M.: Statically Analyzed Stream Monitoring for Cyber-Physical Systems. Dissertation, Saarland University (2022)"},{"key":"689_CR39","unstructured":"Skea, J., Shukla, P., K\u0131lk\u0131\u015f, \u015e.: Climate change 2022: Mitigation of climate change (2022)"},{"key":"689_CR40","unstructured":"Taylor, M.: EU\u2019s highest court deals Volkswagen yet another Dieselgate emissions cheat blow. Forbes (2020). https:\/\/www.forbes.com\/sites\/michaeltaylor\/2020\/12\/17\/eus-highest-court-deals-volkswagen-yet-another-dieselgate-emissions-cheat-blow\/. Online; accessed: 2021-09-10"},{"key":"689_CR41","unstructured":"The European Parliament and the Council of the European Union: Directive 98\/69\/ec of the european parliament and of the council. Official Journal of the European Communities (1998). http:\/\/eur-lex.europa.eu\/LexUriServ\/LexUriServ.do?uri=CELEX:31998L0069:EN:HTML"},{"key":"689_CR42","unstructured":"The European Parliament and the Council of the European Union: Commission Regulation (EU) 2017\/1151 (2017). http:\/\/data.europa.eu\/eli\/reg\/2017\/1151\/oj"},{"key":"689_CR43","doi-asserted-by":"publisher","unstructured":"Torens, C., Adolf, F., Faymonville, P., Schirmer, S.: Towards intelligent system health management using runtime monitoring. In: AIAA Information systems-AIAA Infotech @ Aerospace. American Institute of Aeronautics and Astronautics (AIAA) (2017). https:\/\/doi.org\/10.2514\/6.2017-0419","DOI":"10.2514\/6.2017-0419"},{"key":"689_CR44","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.trd.2015.07.011","volume":"40","author":"M Tutuianu","year":"2015","unstructured":"Tutuianu, M., Bonnel, P., Ciuffo, B., Haniu, T., Ichikawa, N., Marotta, A., Pavlovic, J., Steven, H.: Development of the world-wide harmonized light duty test cycle (wltc) and a possible pathway for its introduction in the European legislation. Transport. Res. Part D Transp. Environ. 40, 61\u201375 (2015). https:\/\/doi.org\/10.1016\/j.trd.2015.07.011","journal-title":"Transport. Res. Part D Transp. Environ."},{"key":"689_CR45","unstructured":"United Nations: UN Vehicle Regulations - 1958 Agreement, Revision 2, Addendum 100, Regulation No. 101, Revision 3 \u2014 E\/ECE\/324\/Rev.2\/Add.100\/Rev.3 (2013). http:\/\/www.unece.org\/trans\/main\/wp29\/wp29regs101-120.html"},{"key":"689_CR46","doi-asserted-by":"publisher","unstructured":"Watanabe, K., Kang, E., Lin, C., Shiraishi, S.: Runtime monitoring for safety of intelligent vehicles. In: Proceedings of the 55th annual design automation conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018, pp. 31:1\u201331:6. ACM (2018). https:\/\/doi.org\/10.1145\/3195970.3199856","DOI":"10.1145\/3195970.3199856"},{"key":"689_CR47","unstructured":"Wikipedia: Keyword protocol 2000 (2021). https:\/\/en.wikipedia.org\/wiki\/Keyword_Protocol_2000. Online; accessed: 2021-09-13"},{"key":"689_CR48","unstructured":"Wikipedia: Abgasnorm \u2014 wikipedia, die freie enzyklop\u00e4die (2022). https:\/\/de.wikipedia.org\/w\/index.php?title=Abgasnorm &oldid=223638095. Online; accessed: 2022-05-14"},{"key":"689_CR49","unstructured":"Wikipedia: Audi A6 C8 \u2014 wikipedia, die freie enzyklop\u00e4die (2022). https:\/\/de.wikipedia.org\/w\/index.php?title=Audi_A6_C8 &oldid=221632578. Online; accessed: 2022-05-14"},{"key":"689_CR50","unstructured":"World Commission on Environment and Development: Our Common Future. Oxford University Press (1987)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00689-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00689-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00689-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T15:23:42Z","timestamp":1679930622000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00689-5"}},"subtitle":["Testing Real Driving Emissions on your Phone"],"short-title":[],"issued":{"date-parts":[[2023,1,30]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,4]]}},"alternative-id":["689"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00689-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2023,1,30]]},"assertion":[{"value":"4 November 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 January 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Android, Google Play and the Google Play logo are trademarks of Google LLC.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Legal Attribution"}}]}}