{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:42:54Z","timestamp":1740141774233,"version":"3.37.3"},"reference-count":121,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T00:00:00Z","timestamp":1651104000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T00:00:00Z","timestamp":1651104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005760","name":"University of Gothenburg","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005760","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2022,12]]},"abstract":"Abstract<\/jats:title>Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication requirements under hard real-time constraints. The requirements have to be documented and validated carefully using a systematic requirements engineering (RE) approach, for example, by applying scenario-based requirements notations. The resources of the execution platforms and their properties (e.g., CPU frequency or bus throughput) induce effects on the timing behavior, which may lead to violations of the real-time requirements. Nowadays, the platform properties and their induced timing effects are verified against the real-time requirements by means of timing analysis techniques mostly implemented in commercial-off-the-shelf tools. However, such timing analyses are conducted in late development phases since they rely on artifacts produced during these phases (e.g., the platform-specific code). In order to enable early timing analyses already during RE, we extend a scenario-based requirements notation with allocation means to platform models and define operational semantics for the purpose of simulation-based, platform-aware timing analyses. We illustrate and evaluate the approach with an automotive software-intensive system.<\/jats:p>","DOI":"10.1007\/s10270-022-01002-3","type":"journal-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T02:02:17Z","timestamp":1651111337000},"page":"2171-2211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Early timing analysis based on scenario requirements and platform models"],"prefix":"10.1007","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6141-4571","authenticated-orcid":false,"given":"J\u00f6rg","family":"Holtmann","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6962-7846","authenticated-orcid":false,"given":"Julien","family":"Deantoni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1269-0702","authenticated-orcid":false,"given":"Markus","family":"Fockel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,28]]},"reference":[{"key":"1002_CR1","unstructured":"Aldebaran file format. https:\/\/www.mcrl2.org\/web\/user_manual\/language_reference\/lts.html#aldebaran-format. Accessed Jan 2022"},{"issue":"2","key":"1002_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. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theoret. Comput. Sci."},{"key":"1002_CR3","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: International Conference on Concurrency Theory, no. 1466 in LNCS, pp. 163\u2013178. Springer (1998). https:\/\/doi.org\/10.1007\/BFb0055622","DOI":"10.1007\/BFb0055622"},{"key":"1002_CR4","doi-asserted-by":"publisher","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES\u2014a tool for modelling and implementation of embedded systems. In: Tools and Algorithms for the Construction and Analysis of Systems, no. 2280 in LNCS, pp. 460\u2013464. Springer (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_32","DOI":"10.1007\/3-540-46002-0_32"},{"key":"1002_CR5","doi-asserted-by":"publisher","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: A tool for schedulability analysis and code generation of real-time systems. In: Revised Papers of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS 2003), no. 2791 in LNCS, pp. 60\u201372. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-40903-8_6","DOI":"10.1007\/978-3-540-40903-8_6"},{"key":"1002_CR6","unstructured":"Andr\u00e9, C.: Syntax and semantics of the clock constraint specification language (CCSL). Research Report RR-6925, INRIA (2009)"},{"key":"1002_CR7","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., de\u00a0Simone, R.: Modeling time(s). In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS\/UML), no. 4735 in LNCS, pp. 559\u2013573. Springer (2007)","DOI":"10.1007\/978-3-540-75209-7_38"},{"issue":"2","key":"1002_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"NC Audsley","year":"1995","unstructured":"Audsley, N.C., Burns, A., Davis, R.I., Tindell, K.W., Wellings, A.J.: Fixed priority pre-emptive scheduling: an historical perspective. Real-Time Syst. 8(2), 173\u2013198 (1995). https:\/\/doi.org\/10.1007\/BF01094342","journal-title":"Real-Time Syst."},{"key":"1002_CR9","unstructured":"AUTOSAR GbR: AUTomotive Open System ARchitecture (AUTOSAR) Standard. https:\/\/www.autosar.org. Accessed Jan 2022"},{"key":"1002_CR10","unstructured":"Bate, I.J.: Scheduling and timing analysis for safety critical real-time systems (1998)"},{"key":"1002_CR11","doi-asserted-by":"publisher","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools, pp. 87\u2013124. No. 3098 in LNCS. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_3","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"1002_CR12","unstructured":"Bernijazov, R.: Early timing analysis of scenario-based software requirements. Master\u2019s\u00a0thesis, Paderborn University (2017)"},{"key":"1002_CR13","volume-title":"Software Engineering Economics","author":"BW Boehm","year":"1981","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"1002_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., Stark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)"},{"issue":"2","key":"1002_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00165-007-0050-7","volume":"20","author":"H Boucheneb","year":"2008","unstructured":"Boucheneb, H.: Interval timed coloured petri net: efficient construction of its state class space preserving linear properties. Formal Asp. Comput. 20(2), 225\u2013238 (2008). https:\/\/doi.org\/10.1007\/s00165-007-0050-7","journal-title":"Formal Asp. Comput."},{"key":"1002_CR16","doi-asserted-by":"crossref","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., DeAntoni, J., Combemale, B.: Execution framework of the Gemoc studio (tool demo). In: 9th International Conference on Software Language Engineering. ACM (2016)","DOI":"10.1145\/2997364.2997384"},{"key":"1002_CR17","doi-asserted-by":"publisher","unstructured":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., Tichy, M.: ScenarioTools real-time play-out for test sequence validation in an automotive case study. In: 13th International Workshop on Graph Transformation and Visual Modeling Techniques, no.\u00a067 in Electronic Communications of the EASST. EASST (2014). https:\/\/doi.org\/10.14279\/tuj.eceasst.67.948","DOI":"10.14279\/tuj.eceasst.67.948"},{"key":"1002_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard Real-Time Computing Systems-Predictable Scheduling Algorithms and Applications","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems-Predictable Scheduling Algorithms and Applications, 3rd edn. Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-1-4614-0676-1","edition":"3"},{"key":"1002_CR19","doi-asserted-by":"publisher","unstructured":"Byhlin, S., Ermedahl, A., Gustafsson, J., Lisper, B.: Applying static WCET analysis to automotive communication software. In: 17th Euromicro Conference on Real-Time Systems (ECRTS\u201905), pp. 249\u2013258. IEEE (2005). https:\/\/doi.org\/10.1109\/ECRTS.2005.7","DOI":"10.1109\/ECRTS.2005.7"},{"key":"1002_CR20","doi-asserted-by":"publisher","unstructured":"Chen, X., Liu, J., Mallet, F., Jin, Z.: Modeling timing requirements in problem frames using CCSL. In: 18th Asia-Pacific Software Engineering Conference (APSEC), pp. 381\u2013388. IEEE (2011). https:\/\/doi.org\/10.1109\/APSEC.2011.30","DOI":"10.1109\/APSEC.2011.30"},{"key":"1002_CR21","doi-asserted-by":"publisher","unstructured":"Clements, P.C., Heitmeyer, C.L., Labaw, B.G., Rose, A.T.: MT: A toolset for specifying and analyzing real-time systems. In: 1993 Real-Time Systems Symposium, pp. 12\u201322 (1993). https:\/\/doi.org\/10.1109\/REAL.1993.393519","DOI":"10.1109\/REAL.1993.393519"},{"key":"1002_CR22","doi-asserted-by":"publisher","unstructured":"Combemale, B., DeAntoni, J., Larsen, M.V., Mallet, F., Barais, O., Baudry, B., France, R.: Reifying concurrency for executable metamodeling. In: 6th International Conference on Software Language Engineering, no. 8225 in LNCS, pp. 365\u2013384. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-319-02654-1_20","DOI":"10.1007\/978-3-319-02654-1_20"},{"issue":"1","key":"1002_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods Syst. Des. 19(1), 45\u201380 (2001). https:\/\/doi.org\/10.1023\/A:1011227529550","journal-title":"Formal Methods Syst. Des."},{"key":"1002_CR24","unstructured":"DeAntoni, J., Andr\u00e9, C., Gascon, R.: CCSL denotational semantics. Research Report RR-8628, INRIA (2014)"},{"key":"1002_CR25","unstructured":"DeAntoni, J., Diallo, I.P., Champeau, J., Combemale, B., Teodorov, C.: Operational semantics of the model of concurrency and communication language. Research Report RR-8584, INRIA (2014)"},{"key":"1002_CR26","doi-asserted-by":"publisher","unstructured":"DeAntoni, J., Diallo, I.P., Teodorov, C., Champeau, J., Combemale, B.: Towards a meta-language for the concurrency concern in DSLs. In: Design, Automation & Test in Europe, pp. 313\u2013316 (2015). https:\/\/doi.org\/10.7873\/DATE.2015.1052","DOI":"10.7873\/DATE.2015.1052"},{"key":"1002_CR27","unstructured":"DeAntoni, J., Mallet, F.: ECL: the event constraint language, an extension of OCL with events. Research Report RR-8031, INRIA (2012)"},{"key":"1002_CR28","doi-asserted-by":"publisher","unstructured":"DeAntoni, J., Mallet, F.: TimeSquare: Treat your models with logical time. In: 50th International Conference on Objects, Models, Components, Patterns, no. 7304 in LNCS, pp. 34\u201341. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-30561-0_4","DOI":"10.1007\/978-3-642-30561-0_4"},{"key":"1002_CR29","doi-asserted-by":"publisher","unstructured":"Dietrich, C., W\u00e4gemann, P., Ulbrich, P., Lohmann, D.: SysWCET: Whole-system response-time analysis for fixed-priority real-time systems. In: 2017 IEEE 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 37\u201348. IEEE (2017). https:\/\/doi.org\/10.1109\/RTAS.2017.37","DOI":"10.1109\/RTAS.2017.37"},{"key":"1002_CR30","unstructured":"The DOT language. https:\/\/graphviz.org\/doc\/info\/lang.html. Accessed Jan 2022"},{"key":"1002_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0601-1","author":"D Durisic","year":"2017","unstructured":"Durisic, D., Staron, M., Tichy, M., Hansson, J.: Assessing the impact of meta-model evolution: a measure and its automotive application. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-017-0601-1","journal-title":"Softw. Syst. Model."},{"key":"1002_CR32","unstructured":"Eclipse Gemoc\u00a0Studio. https:\/\/projects.eclipse.org\/projects\/modeling.gemoc. Accessed Jan 2022"},{"key":"1002_CR33","unstructured":"Eclipse Modeling Framework (EMF). https:\/\/www.eclipse.org\/modeling\/emf. Accessed Jan 2022"},{"key":"1002_CR34","unstructured":"Eclipse Papyrus\u2122\u00a0modeling environment. https:\/\/www.eclipse.org\/papyrus\/. Accessed Jan 2022"},{"key":"1002_CR35","unstructured":"Eclipse QVT Operational. https:\/\/projects.eclipse.org\/projects\/modeling.mmt.qvt-oml. Accessed Jan 2022"},{"key":"1002_CR36","unstructured":"Feiertag, N., Richter, K., Nordlander, J., Jonsson, J.: A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: 1st International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS) (2008)"},{"issue":"8","key":"1002_CR37","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C Fidge","year":"1991","unstructured":"Fidge, C.: Logical time in distributed computing systems. Computer 24(8), 28\u201333 (1991)","journal-title":"Computer"},{"key":"1002_CR38","doi-asserted-by":"publisher","unstructured":"Fockel, M., Holtmann, J., Koch, T., Schmelter, D.: Formal, model- and scenario-based requirement patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). SCITEPRESS (2018). https:\/\/doi.org\/10.5220\/0006554103110318","DOI":"10.5220\/0006554103110318"},{"key":"1002_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91086-4","volume-title":"Handbook of Metaheuristics. International Series in Operations Research & Management Science","year":"2019","unstructured":"Gendreau, M., Potvin, J.Y. (eds.): Handbook of Metaheuristics. International Series in Operations Research & Management Science, vol. 272, 3rd edn. Springer, New York (2019). https:\/\/doi.org\/10.1007\/978-3-319-91086-4","edition":"3"},{"key":"1002_CR40","doi-asserted-by":"publisher","unstructured":"Gerber, R., Lee, I.: CCSR: a calculus for communicating shared resources. In: Theories of Concurrency: Unification and Extension (CONCUR\u201990), no. 458 in LNCS, pp. 263\u2013277. Springer (1990). https:\/\/doi.org\/10.1007\/BFb0039065","DOI":"10.1007\/BFb0039065"},{"issue":"1\u20132","key":"1002_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10617-014-9140-y","volume":"19","author":"C Glitia","year":"2015","unstructured":"Glitia, C., DeAntoni, J., Mallet, F., Millo, J.V., Boulet, P., Gamati\u00e9, A.: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML Marte. Des. Autom. Embed. Syst. 19(1\u20132), 1\u201333 (2015). https:\/\/doi.org\/10.1007\/s10617-014-9140-y","journal-title":"Des. Autom. Embed. Syst."},{"key":"1002_CR42","doi-asserted-by":"publisher","unstructured":"Goknil, A., DeAntoni, J., Peraldi-Frati, M.A., Mallet, F.: Tool support for the analysis of TADL2 timing constraints using TimeSquare. In: 2013 18th International Conference on Engineering of Complex Computer Systems, pp. 145\u2013154. IEEE (2013). https:\/\/doi.org\/10.1109\/ICECCS.2013.28","DOI":"10.1109\/ICECCS.2013.28"},{"key":"1002_CR43","doi-asserted-by":"publisher","unstructured":"Goldberg, E.: On bridging simulation and formal verification. In: Verification, Model Checking, and Abstract Interpretation, pp. 127\u2013141 (2008). https:\/\/doi.org\/10.1007\/978-3-540-78163-9_14","DOI":"10.1007\/978-3-540-78163-9_14"},{"key":"1002_CR44","doi-asserted-by":"publisher","unstructured":"Greenyer, J., Brenner, C., Cordy, M., Heymans, P., Gressi, E.: Incrementally synthesizing controllers from scenario-based product line specifications. In: 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE 2013), pp. 433\u2013443. ACM (2013). https:\/\/doi.org\/10.1145\/2491411.2491445","DOI":"10.1145\/2491411.2491445"},{"issue":"3","key":"1002_CR45","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1109\/TSMCA.2011.2170064","volume":"42","author":"S Han","year":"2012","unstructured":"Han, S., Youn, H.Y.: Modeling and analysis of time-critical context-aware service using extended interval timed colored petri nets. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 42(3), 630\u2013640 (2012). https:\/\/doi.org\/10.1109\/TSMCA.2011.2170064","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum."},{"issue":"3","key":"1002_CR46","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). https:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"1002_CR47","doi-asserted-by":"publisher","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Smart play-out extended: time and forbidden elements. In: 4th International Conference on Quality Software (QSIC), pp. 2\u201310. IEEE (2004). https:\/\/doi.org\/10.1109\/QSIC.2004.1357938","DOI":"10.1109\/QSIC.2004.1357938"},{"issue":"2","key":"1002_CR48","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2), 237\u2013252 (2008). https:\/\/doi.org\/10.1007\/s10270-007-0054-z","journal-title":"Softw. Syst. Model."},{"key":"1002_CR49","doi-asserted-by":"publisher","unstructured":"Harel, D., Marelly, R.: Playing with time: On the specification and execution of time-enriched LSCs. In: 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems 2002 (MASCOTS 2002), pp. 193\u2013202. IEEE (2002). https:\/\/doi.org\/10.1109\/MASCOT.2002.1167077","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"1002_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, New York (2003). https:\/\/doi.org\/10.1007\/978-3-642-19029-2"},{"issue":"10","key":"1002_CR51","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: what\u2019s the semantics of \u201csemantics\u2019\u2019? IEEE Comput. 37(10), 64\u201372 (2004)","journal-title":"IEEE Comput."},{"key":"1002_CR52","doi-asserted-by":"publisher","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Future of Software Engineering (FOSE\u201907), pp. 342\u2013357 (2007). https:\/\/doi.org\/10.1109\/FOSE.2007.29","DOI":"10.1109\/FOSE.2007.29"},{"issue":"14","key":"1002_CR53","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001). https:\/\/doi.org\/10.1016\/S0950-5849(01)00189-6","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"1002_CR54","doi-asserted-by":"publisher","first-page":"2379787","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: trends, techniques and applications. ACM Comput. Surv. 45(1), 2379787 (2012). https:\/\/doi.org\/10.1145\/2379776.2379787","journal-title":"ACM Comput. Surv."},{"key":"1002_CR55","doi-asserted-by":"publisher","unstructured":"Hassine, J.: Early schedulability analysis with timed use case maps. In: 14th International SDL Forum, no. 5719 in LNCS, pp. 98\u2013114. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-04554-7_7","DOI":"10.1007\/978-3-642-04554-7_7"},{"issue":"2","key":"1002_CR56","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s00766-013-0200-9","volume":"20","author":"J Hassine","year":"2015","unstructured":"Hassine, J.: Early modeling and validation of timed system requirements using timed use case maps. Requirem. Eng. 20(2), 181\u2013211 (2015). https:\/\/doi.org\/10.1007\/s00766-013-0200-9","journal-title":"Requirem. Eng."},{"key":"1002_CR57","doi-asserted-by":"crossref","unstructured":"Hassine, J., Rilling, J., Dssouli, R.: Timed use case maps. In: Revised Selected Papers of the 5th International Workshop on System Analysis and Modeling, no. 4320 in LNCS, pp. 99\u2013114. Springer (2006)","DOI":"10.1007\/11951148_7"},{"issue":"2","key":"1002_CR58","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1016\/j.jss.2009.09.014","volume":"83","author":"J Hassine","year":"2010","unstructured":"Hassine, J., Rilling, J., Dssouli, R.: An evaluation of timed scenario notations. J. Syst. Softw. 83(2), 326\u2013350 (2010). https:\/\/doi.org\/10.1016\/j.jss.2009.09.014","journal-title":"J. Syst. Softw."},{"key":"1002_CR59","doi-asserted-by":"publisher","unstructured":"Haugen, \u00d8., Husa, K.E., Runde, R.K., St\u00f8len, K.: Why timed sequence diagrams require three-event semantics. In: Scenarios: Models, Transformations and Tools, no. 3466 in LNCS, pp. 1\u201325. Springer (2005). https:\/\/doi.org\/10.1007\/11495628_1","DOI":"10.1007\/11495628_1"},{"key":"1002_CR60","doi-asserted-by":"publisher","unstructured":"Heumesser, N., Houdek, F.: Experiences in managing an automotive requirements engineering process. In: 12th IEEE International Requirements Engineering Conference, pp. 322\u2013327. IEEE (2004). https:\/\/doi.org\/10.1109\/ICRE.2004.1335690","DOI":"10.1109\/ICRE.2004.1335690"},{"key":"1002_CR61","doi-asserted-by":"publisher","unstructured":"Holtmann, J.: Improvement of software requirements quality based on systems engineering. Ph.D. thesis, Paderborn University (2019). https:\/\/doi.org\/10.17619\/UNIPB\/1-730","DOI":"10.17619\/UNIPB\/1-730"},{"key":"1002_CR62","unstructured":"Holtmann, J., Deantoni, J., Fockel, M.: Early timing analysis based on scenario-based requirements specifications\u2014description of SoSyM validation artifacts (2020). https:\/\/project.inria.fr\/platformawaremsd\/"},{"key":"1002_CR63","doi-asserted-by":"publisher","unstructured":"Holtmann, J., DeAntoni, J., Fockel, M.: Supplementary material on \u201cEarly timing analysis based on scenario requirements and platform models\u201d (2022). https:\/\/doi.org\/10.5281\/zenodo.4769781","DOI":"10.5281\/zenodo.4769781"},{"key":"1002_CR64","doi-asserted-by":"publisher","unstructured":"Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., Sander, M.: The MechatronicUML requirements engineering method: Process and language. Tech. Rep. tr-ri-16-351, Fraunhofer IEM \/ Heinz Nixdorf Institute (2016). https:\/\/doi.org\/10.13140\/RG.2.2.33223.29606","DOI":"10.13140\/RG.2.2.33223.29606"},{"key":"1002_CR65","unstructured":"Holtmann, J., Meyer, M.: Play-out for hierarchical component architectures. In: 11th Workshop on Automotive Software Engineering, GI-Edition\u2014Lecture Notes in Informatics, vol. P-220, pp. 2458\u20132472. Koellen (2013)"},{"key":"1002_CR66","unstructured":"International Organization for Standardization (ISO): Road vehicles\u2014open interface for embedded automotive applications\u2014part 3: OSEK\/VDX operating system (OS). ISO 17356-3:2005 (2005)"},{"key":"1002_CR67","unstructured":"International Organization for Standardization (ISO): ISO 26262-6:2018(E): Road vehicles \u2013 Functional safety. Part 6: Product development at the software level (2018)"},{"key":"1002_CR68","unstructured":"ITU Telecommunication Standardization Sector: ITU-T Recommendation Z.120 (02\/2011): Message Sequence Chart (MSC) (2011)"},{"key":"1002_CR69","unstructured":"ITU Telecommunication Standardization Sector: ITU-T Recommendation Z.101 (04\/2016): Specification and Description Language\u2014Basic SDL-2010 (2016)"},{"key":"1002_CR70","doi-asserted-by":"publisher","unstructured":"Jahanian, F., Lee, R., Mok, A.K.: Semantics of Modechart in real time logic. In: 21st Annual Hawaii International Conference on System Sciences (HICSS), pp. 479\u2013489. IEEE (1988). https:\/\/doi.org\/10.1109\/HICSS.1988.11840","DOI":"10.1109\/HICSS.1988.11840"},{"issue":"12","key":"1002_CR71","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"F Jahanian","year":"1994","unstructured":"Jahanian, F., Mok, A.K.: Modechart: a specification language for real-time systems. IEEE Trans. Softw. Eng. 20(12), 933\u2013947 (1994). https:\/\/doi.org\/10.1109\/32.368134","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"1002_CR72","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M Joseph","year":"1986","unstructured":"Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390\u2013395 (1986). https:\/\/doi.org\/10.1093\/comjnl\/29.5.390","journal-title":"Comput. J."},{"key":"1002_CR73","doi-asserted-by":"crossref","unstructured":"Khecharem, A., Gomez, C., DeAntoni, J., Mallet, F., De\u00a0Simone, R.: Execution of heterogeneous models for thermal analysis with a multi-view approach. In: Forum on specification and Design Languages (FDL 2014). IEEE (2014)","DOI":"10.1109\/FDL.2014.7119366"},{"issue":"4","key":"1002_CR74","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B Kitchenham","year":"1995","unstructured":"Kitchenham, B., Pickard, L., Pfleeger, S.L.: Case studies for method and tool evaluation. IEEE Softw. 12(4), 52\u201362 (1995). https:\/\/doi.org\/10.1109\/52.391832","journal-title":"IEEE Softw."},{"key":"1002_CR75","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-Time Systems-Design Principles for Distributed Embedded Applications","author":"H Kopetz","year":"2011","unstructured":"Kopetz, H.: Real-Time Systems-Design Principles for Distributed Embedded Applications, 2nd edn. Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-1-4419-8237-7","edition":"2"},{"issue":"7","key":"1002_CR76","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"1002_CR77","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Li, S., Nielsen, B., Pusinskas, S.: Verifying real-time systems against scenario-based requirements. In: 2nd World Congress on Formal Methods, no. 5850 in LNCS, pp. 676\u2013691. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-05089-3_43","DOI":"10.1007\/978-3-642-05089-3_43"},{"key":"1002_CR78","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Li, S., Nielsen, B., Pusinskas, S.: Scenario-based analysis and synthesis of real-time systems using Uppaal. In: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp. 447\u2013452. EDAA\/IEEE (2010). https:\/\/doi.org\/10.1109\/DATE.2010.5457164","DOI":"10.1109\/DATE.2010.5457164"},{"key":"1002_CR79","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1, 134\u2013152 (1997). https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1002_CR80","doi-asserted-by":"crossref","unstructured":"Latombe, F., Cr\u00e9gut, X., Combemale, B., DeAntoni, J., Pantel, M.: Weaving concurrency in executable domain-specific modeling languages. In: 8th International Conference on Software Language Engineering. ACM (2015)","DOI":"10.1145\/2814251.2814261"},{"key":"1002_CR81","doi-asserted-by":"publisher","unstructured":"Lettrari, M., Klose, J.: Scenario-based monitoring and testing of real-time UML models. In: 4th International Conference on the Unified Modeling Language ($$\\ll $$UML$$\\gg $$ 2001\u2014The Unified Modeling Language: Modeling Languages, Concepts, and Tools), no. 2185 in LNCS, pp. 317\u2013328. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-45441-1_24","DOI":"10.1007\/3-540-45441-1_24"},{"issue":"2","key":"1002_CR82","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/s10703-010-0103-z","volume":"37","author":"S Li","year":"2010","unstructured":"Li, S., Balaguer, S., David, A., Larsen, K.G., Nielsen, B., Pusinskas, S.: Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. 37(2), 200\u2013264 (2010). https:\/\/doi.org\/10.1007\/s10703-010-0103-z","journal-title":"Formal Methods Syst. Des."},{"key":"1002_CR83","unstructured":"Liebel, G., Tichy, M.: Comparing comprehensibility of modelling languages for specifying behavioural requirements. In: 1st International Workshop on Human Factors in Modeling (HuFaMo), pp. 17\u201324 (2015)"},{"key":"1002_CR84","doi-asserted-by":"publisher","unstructured":"Mallet, F., Andr\u00e9, C.: On the semantics of uml\/Marte clock constraints. In: International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC\u201909), pp. 301\u2013312. IEEE (2009). https:\/\/doi.org\/10.1109\/ISORC.2009.27","DOI":"10.1109\/ISORC.2009.27"},{"key":"1002_CR85","doi-asserted-by":"crossref","unstructured":"Mallet, F., Andr\u00e9, C., DeAntoni, J.: Executing AADL models with UML\/Marte. In: International Conference on Engineering of Complex Computer Systems, pp. 371\u2013376 (2009)","DOI":"10.1109\/ICECCS.2009.10"},{"key":"1002_CR86","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: International Symposium on Formal Methods, pp. 148\u2013164. Springer (2008)","DOI":"10.1007\/978-3-540-68237-0_12"},{"key":"1002_CR87","unstructured":"ModRec. https:\/\/gitlab.com\/grischal\/is.ru.cs.papyrusactivitylogger. Accessed Jan 2022"},{"issue":"1","key":"1002_CR88","doi-asserted-by":"publisher","first-page":"453","DOI":"10.2298\/CSIS120614011M","volume":"10","author":"S Mubeen","year":"2013","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Support for end-to-end response-time and delay analysis in the industrial tool suite-issues, experiences and a case study. Comput. Sci. Inf. Syst. 10(1), 453\u2013482 (2013). https:\/\/doi.org\/10.2298\/CSIS120614011M","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"2","key":"1002_CR89","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.sysarc.2013.10.008","volume":"60","author":"S Mubeen","year":"2014","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Communications-oriented development of component-based vehicular distributed real-time embedded systems. J. Syst. Architect. 60(2), 207\u2013220 (2014). https:\/\/doi.org\/10.1016\/j.sysarc.2013.10.008","journal-title":"J. Syst. Architect."},{"key":"1002_CR90","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0579-8","author":"S Mubeen","year":"2017","unstructured":"Mubeen, S., Nolte, T., Sj\u00f6din, M., Lundb\u00e4ck, J., Lundb\u00e4ck, K.L.: Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-017-0579-8","journal-title":"Softw. Syst. Model."},{"key":"1002_CR91","doi-asserted-by":"publisher","unstructured":"Mubeen, S., Sj\u00f6din, M., Nolte, T., Lundb\u00e4ck, J., G\u00e5lnander, M., Lundb\u00e4ck, K.L.: End-to-end timing analysis of black-box models in legacy vehicular distributed embedded systems. In: 21st International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 149\u2013158. IEEE (2015). https:\/\/doi.org\/10.1109\/RTCSA.2015.24","DOI":"10.1109\/RTCSA.2015.24"},{"key":"1002_CR92","unstructured":"Nolin, M., M\u00e4ki-Turja, J., H\u00e4nninen, K.: Achieving industrial strength timing predictions of embedded system behavior. In: 2008 International Conference on Embedded Systems & Applications (ESA), pp. 173\u2013178. CSREA Press (2008)"},{"key":"1002_CR93","unstructured":"Object Management Group (OMG): UML Profile for Marte: Modeling and Analysis of Real-Time Embedded Systems\u2014Version 1.1. OMG Specification formal\/2011-06-02 (2011)"},{"key":"1002_CR94","unstructured":"Object Management Group (OMG): OMG Object Constraint Language (OCL)\u2014Version 2.4. OMG Specification formal\/2014-02-03 (2014)"},{"key":"1002_CR95","unstructured":"Object Management Group (OMG): Meta object facility (MOF) 2.0 query\/view\/transformation specification\u2014version 1.3. OMG Specification formal\/2016-06-03 (2016)"},{"key":"1002_CR96","doi-asserted-by":"crossref","unstructured":"Object Management Group (OMG): OMG Unified Modeling Language (OMG UML)\u2014Version 2.5.1. OMG Specification formal\/2017-12-05 (2017)","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"1002_CR97","volume-title":"Temporal Logic for Real Time Systems","author":"JS Ostroff","year":"1989","unstructured":"Ostroff, J.S.: Temporal Logic for Real Time Systems. Wiley, New York (1989)"},{"key":"1002_CR98","doi-asserted-by":"publisher","unstructured":"Ostroff, J.S.: Automated verification of timed transition models. In: International Workshop on Automatic Verification Methods for Finite State Systems, no. 407 in LNCS, pp. 247\u2013256. Springer (1990). https:\/\/doi.org\/10.1007\/3-540-52148-8_20","DOI":"10.1007\/3-540-52148-8_20"},{"issue":"1","key":"1002_CR99","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0950-5849(03)00108-3","volume":"46","author":"MC Otero","year":"2004","unstructured":"Otero, M.C., Dolado, J.J.: Evaluation of the comprehension of the dynamic modeling in UML. Inf. Softw. Technol. 46(1), 35\u201353 (2004). https:\/\/doi.org\/10.1016\/S0950-5849(03)00108-3","journal-title":"Inf. Softw. Technol."},{"key":"1002_CR100","doi-asserted-by":"publisher","unstructured":"Palencia Gutierrez, J.C., Gutierrez Garcia, J.J., Gonzalez Harbour, M.: Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems. In: 10th EUROMICRO Workshop on Real-Time Systems, pp. 35\u201344 (1998). https:\/\/doi.org\/10.1109\/EMWRTS.1998.684945","DOI":"10.1109\/EMWRTS.1998.684945"},{"key":"1002_CR101","doi-asserted-by":"publisher","unstructured":"Peraldi-Frati, M.A., DeAntoni, J.: Scheduling multi clock real time systems: from requirements to implementation. In: 14th International Symposium on Object\/Component\/Service-oriented Real-time Distributed Computing, pp. 50\u201357. IEEE (2011). https:\/\/doi.org\/10.1109\/ISORC.2011.16","DOI":"10.1109\/ISORC.2011.16"},{"key":"1002_CR102","unstructured":"Platform Architect. https:\/\/www.synopsys.com\/verification\/virtual-prototyping\/platform-architect.html. Accessed Jan 2022"},{"key":"1002_CR103","volume-title":"Requirements Engineering Fundamentals","author":"K Pohl","year":"2016","unstructured":"Pohl, K., Rupp, C.: Requirements Engineering Fundamentals, 2nd edn. Rocky Nook, San Rafael (2016)","edition":"2"},{"issue":"4","key":"1002_CR104","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/JPROC.2010.2041835","volume":"98","author":"KV Prasad","year":"2010","unstructured":"Prasad, K.V., Broy, M., Kr\u00fcger, I.: Scanning advances in aerospace & automobile software technology. Proc. IEEE 98(4), 510\u2013514 (2010)","journal-title":"Proc. IEEE"},{"issue":"2","key":"1002_CR105","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1008119029962","volume":"18","author":"P Puschner","year":"2000","unstructured":"Puschner, P., Burns, A.: Guest editorial: a review of worst-case execution-time analysis. Real-Time Syst. 18(2), 115\u2013128 (2000). https:\/\/doi.org\/10.1023\/A:1008119029962","journal-title":"Real-Time Syst."},{"key":"1002_CR106","doi-asserted-by":"publisher","unstructured":"Ragnarsson, A., Chakraborty, S., Liebel, G.: ModRec: a tool to support empirical study design for Papyrus and the Eclipse Modeling Framework. In: 5th International Workshop on Human Factors in Modeling\/Modeling of Human Factors (HuFaMo). IEEE (2021). https:\/\/doi.org\/10.1109\/MODELS-C53483.2021.00059","DOI":"10.1109\/MODELS-C53483.2021.00059"},{"issue":"3","key":"1002_CR107","doi-asserted-by":"publisher","first-page":"36:1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., et al.: The worst-case execution-time problem\u2014overview of methods and survey of tools. ACM Trans. Embedd. Comput. Syst. 7(3), 36:1-36:53 (2008). https:\/\/doi.org\/10.1145\/1347375.1347389","journal-title":"ACM Trans. Embedd. Comput. Syst."},{"key":"1002_CR108","doi-asserted-by":"publisher","DOI":"10.1002\/9781118181034","volume-title":"Case Study Research in Software Engineering\u2014Guidelines and Examples","author":"P Runeson","year":"2012","unstructured":"Runeson, P., H\u00f6st, M., Austen, R., Regnell, B.: Case Study Research in Software Engineering\u2014Guidelines and Examples, 1st edn. Wiley, New York (2012)","edition":"1"},{"key":"1002_CR109","unstructured":"ScenarioTools MSD tool suite. https:\/\/bitbucket.org\/jgreenyer\/scenariotools. Accessed Jan 2022"},{"key":"1002_CR110","doi-asserted-by":"publisher","unstructured":"Schmelter, D., Greenyer, J., Holtmann, J.: Toward learning realizable scenario-based, formal requirements specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). IEEE (2017). https:\/\/doi.org\/10.1109\/REW.2017.14","DOI":"10.1109\/REW.2017.14"},{"key":"1002_CR111","volume-title":"Modeling and Analysis of Real-Time and Embedded systems with UML and Marte: Developing Cyber-Physical Systems","author":"B Selic","year":"2014","unstructured":"Selic, B., G\u00e9rard, S.: Modeling and Analysis of Real-Time and Embedded systems with UML and Marte: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2014)"},{"issue":"2\u20133","key":"1002_CR112","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:TIME.0000045315.61234.1e","volume":"28","author":"L Sha","year":"2004","unstructured":"Sha, L., Abdelzaher, T., \u00c5rz\u00e9n, K.E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.K.: Real time scheduling theory: a historical perspective. Real-Time Syst. 28(2\u20133), 101\u2013155 (2004). https:\/\/doi.org\/10.1023\/B:TIME.0000045315.61234.1e","journal-title":"Real-Time Syst."},{"key":"1002_CR113","unstructured":"TA tool suite. https:\/\/www.vector.com\/int\/en\/products\/products-a-z\/software\/ta-tool-suite\/. Accessed Jan 2022"},{"key":"1002_CR114","unstructured":"TimeSquare. http:\/\/timesquare.inria.fr\/. Accessed Jan 2022"},{"issue":"2","key":"1002_CR115","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01088855","volume":"9","author":"K Tindell","year":"1995","unstructured":"Tindell, K., Burns, A., Wellings, A.J.: Analysis of hard real-time communications. Real-Time Syst. 9(2), 147\u2013171 (1995). https:\/\/doi.org\/10.1007\/BF01088855","journal-title":"Real-Time Syst."},{"issue":"2","key":"1002_CR116","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40(2), 117\u2013134 (1994). https:\/\/doi.org\/10.1016\/0165-6074(94)90080-9","journal-title":"Microprocess. Microprogram."},{"key":"1002_CR117","doi-asserted-by":"publisher","unstructured":"Tindell, K.W., Hansson, H., Wellings, A.J.: Analysing real-time communications: controller area network (CAN). In: 1994 Real-Time Systems Symposium (RTTS), pp. 259\u2013263. IEEE (1994). https:\/\/doi.org\/10.1109\/REAL.1994.342710","DOI":"10.1109\/REAL.1994.342710"},{"key":"1002_CR118","unstructured":"UPPAAL case studies. https:\/\/uppaal.org\/casestudies\/. Accessed Jan 2022"},{"issue":"1","key":"1002_CR119","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/B:TIME.0000033379.78994.1a","volume":"28","author":"S Wang","year":"2004","unstructured":"Wang, S., Tsai, G.: Specification and timing analysis of real-time systems. Real-Time Syst. 28(1), 69\u201390 (2004). https:\/\/doi.org\/10.1023\/B:TIME.0000033379.78994.1a","journal-title":"Real-Time Syst."},{"key":"1002_CR120","unstructured":"Xtext language development framework. https:\/\/www.eclipse.org\/Xtext\/. Accessed Jan 2022"},{"key":"1002_CR121","doi-asserted-by":"publisher","unstructured":"Zannier, C., Melnik, G., Maurer, F.: On the success of empirical studies in the international conference on software engineering. In: 28th International Conference on Software Engineering, pp. 341\u2013350. ACM (2006). https:\/\/doi.org\/10.1145\/1134285.1134333","DOI":"10.1145\/1134285.1134333"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01002-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-022-01002-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-01002-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T17:16:15Z","timestamp":1668186975000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-022-01002-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,28]]},"references-count":121,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["1002"],"URL":"https:\/\/doi.org\/10.1007\/s10270-022-01002-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2022,4,28]]},"assertion":[{"value":"24 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 April 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}