{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T18:19:50Z","timestamp":1758824390588},"reference-count":86,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T00:00:00Z","timestamp":1707350400000},"content-version":"vor","delay-in-days":7,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>An execution trace is a model of a single system behavior. Execution traces occur everywhere in the system\u2019s lifecycle as they can typically be produced by executable models, by prototypes of (sub)systems, and by the system itself during its operation. An execution trace can be visualized and analyzed with various techniques, providing insight into the dynamic behavior, performance, bottlenecks, etc., of the system. In this paper, we present the Trace tool of the Eclipse <jats:sc>Trace4cps<\/jats:sc> project for the visualization and analysis of execution traces. A prominent application is the trace-based performance engineering of embedded or cyber-physical systems. Performance is an important system quality, as it can give a competitive advantage. Reasoning about system-level performance in such systems, however, is hard due to its cross-cutting nature. We show how the Trace tool can support this by various examples. Performance engineering is not the only application of the Trace tool, however: it supports system analysis in a wide range of situations.<\/jats:p>","DOI":"10.1007\/s10009-024-00736-3","type":"journal-article","created":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T13:02:46Z","timestamp":1707397366000},"page":"101-126","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool"],"prefix":"10.1007","volume":"26","author":[{"given":"Martijn","family":"Hendriks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Verriet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,2,8]]},"reference":[{"key":"736_CR1","volume-title":"2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)","author":"E.A. Lee","year":"2008","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2008)"},{"key":"736_CR2","unstructured":"Eclipse Foundation. Eclipse Trace4cps. https:\/\/www.eclipse.org\/trace4cps\/"},{"key":"736_CR3","volume-title":"2021 International Conference on Embedded Software (EMSOFT)","author":"B. van der Sanden","year":"2021","unstructured":"van der Sanden, B., Li, Y., van den Aker, J., Akesson, B., Bijlsma, T., Hendriks, M., Triantafyllidis, K., Verriet, J., Voeten, J., Basten, T.: Model-driven system-performance engineering for cyber-physical systems. In: 2021 International Conference on Embedded Software (EMSOFT) (2021)"},{"key":"736_CR4","unstructured":"Heemels, M., Muller, G. (eds.): Boderc: Model-based design of high-tech systems. Embedded Systems Institute (2006)"},{"key":"736_CR5","doi-asserted-by":"crossref","unstructured":"Derler, P., Lee, E.A., Sangiovanni Vincentelli, A.: Modeling cyber\u2013physical systems. Proc. IEEE 100(1) (2012)","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"736_CR6","volume-title":"Collaborative Design for Embedded Systems","year":"2014","unstructured":"Fitzgerald, F., Larsen, P.G., Verhoef, M. (eds.): Collaborative Design for Embedded Systems Springer, Berlin (2014)"},{"key":"736_CR7","series-title":"LNCS.","volume-title":"4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation","author":"T. Basten","year":"2010","unstructured":"Basten, T., van Benthum, E., Geilen, M., Hendriks, M., Houben, F., Igna, G., Reckers, F., De Smet, S., Somers, L., Teeselink, E., Tr\u010dka, N., Vaandrager, F., Verriet, J., Voorhoeve, M., Yang, Y.: Model-driven design-space exploration for embedded systems: the octopus toolset. In: 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. LNCS., vol.\u00a06415. Springer, Berlin (2010)"},{"key":"736_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45098-8_11","volume-title":"Die Attach Adhesives and Films","author":"S. Takeda","year":"2017","unstructured":"Takeda, S., Masuko, T., Takano, N., Inada, T.: Die Attach Adhesives and Films. Springer, Berlin (2017)"},{"key":"736_CR9","unstructured":"Eclipse Foundation. Eclipse TraceCompass. https:\/\/www.eclipse.org\/tracecompass\/"},{"key":"736_CR10","unstructured":"OpenTracing. https:\/\/opentracing.io\/"},{"key":"736_CR11","unstructured":"ChronView. https:\/\/www.inchron.com\/chronview\/"},{"key":"736_CR12","unstructured":"Sigelman, B.H., Barroso, L.A., Burrows, M., Stephenson, P., Plakal, M., Beaver, D., Jaspan, S., Dapper, C.S.: Dapper, a large-scale distributed systems tracing infrastructure. Technical report, Google, Inc., 2010"},{"key":"736_CR13","volume-title":"Proceedings of the 26th Symposium on Operating Systems Principles, SOSP\u201917","author":"J. Kaldor","year":"2017","unstructured":"Kaldor, J., Mace, J., Bejda, M., Gao, E., Kuropatwa, W., O\u2019Neill, J., Ong, K.W., Schaller, B., Shan, P., Viscomi, B., Venkataraman, V., Veeraraghavan, K., Canopy, Y.J.S.: An end-to-end performance tracing and analysis system. In: Proceedings of the 26th Symposium on Operating Systems Principles, SOSP\u201917. Association for Computing Machinery, (2017)"},{"key":"736_CR14","unstructured":"Roos, N.: Clearing the critical software path. Bits&Chips, 2021. https:\/\/bits-chips.nl\/artikel\/clearing-the-critical-software-path\/"},{"key":"736_CR15","volume-title":"Eastern Joint IRE-AIEE-ACM Computer Conference","author":"J.E. Kelley","year":"1959","unstructured":"Kelley, J.E., Walker, M.R.: Critical-path planning and scheduling. In: Eastern Joint IRE-AIEE-ACM Computer Conference. ACM, New York (1959)"},{"key":"736_CR16","volume-title":"Introduction to Critical Path Analysis","author":"K.G. Lockyer","year":"1964","unstructured":"Lockyer, K.G.: Introduction to Critical Path Analysis. Pitman, London (1964)"},{"key":"736_CR17","doi-asserted-by":"crossref","unstructured":"Wiest, J.D.: Some properties of schedules for large projects with limited resources. Oper. Res. 12(3) (1964)","DOI":"10.1287\/opre.12.3.395"},{"key":"736_CR18","doi-asserted-by":"crossref","unstructured":"Kastor, A., Sirakoulis, K.: The effectiveness of resource levelling tools for resource constraint project scheduling problem. Int. J. Proj. Manag. 27 (2009)","DOI":"10.1016\/j.ijproman.2008.08.006"},{"key":"736_CR19","volume-title":"Critical Chain","author":"E. Goldratt","year":"1997","unstructured":"Goldratt, E.: Critical Chain. North River Press (1997)"},{"key":"736_CR20","volume-title":"Scheduling: Theory, Algorithms and Systems","author":"M. Pinedo","year":"2002","unstructured":"Pinedo, M.: Scheduling: Theory, Algorithms and Systems, 2nd edn. Prentice Hall, New York (2002)","edition":"2"},{"key":"736_CR21","volume-title":"International Conference on Embedded and Ubiquitous Computing","author":"M. Hendriks","year":"2012","unstructured":"Hendriks, M., Vaandrager, F.W.: Reconstructing critical paths from execution traces. In: International Conference on Embedded and Ubiquitous Computing. IEEE Comput. Soc., Los Alamitos (2012)"},{"key":"736_CR22","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Verriet, J., Basten, T., Theelen, B., Brass\u00e9, M., Somers, L.: Analyzing execution traces \u2013 critical-path analysis and distance analysis. Int. J. Softw. Tools Technol. Transf. 19(4) (2017)","DOI":"10.1007\/s10009-016-0436-z"},{"key":"736_CR23","doi-asserted-by":"crossref","unstructured":"Elmaghraby, S.E., Kamburowski, J.: The analysis of activity networks under generalized precedence relations (GPRs). Manag. Sci. 38(9) (1992)","DOI":"10.1287\/mnsc.38.9.1245"},{"key":"736_CR24","doi-asserted-by":"crossref","unstructured":"Wu, M.Y., Hypertool, D.D.G.: A programming aid for message-passing systems. IEEE Trans. Parallel Distrib. Syst. 1(3) (1990)","DOI":"10.1109\/71.80160"},{"key":"736_CR25","volume-title":"5th International Workshop on Hardware\/Software Co-Design","author":"P. Bjorn-Jorgensen","year":"1997","unstructured":"Bjorn-Jorgensen, P., Madsen, J.: Critical path driven cosynthesis for heterogeneous target architectures. In: 5th International Workshop on Hardware\/Software Co-Design. IEEE, New York (1997)"},{"key":"736_CR26","volume-title":"8th International Conference on Distributed Computing Systems","author":"C.-Q. Yang","year":"1988","unstructured":"Yang, C.-Q., Miller, B.P.: Critical path analysis for the execution of parallel and distributed programs. In: 8th International Conference on Distributed Computing Systems. IEEE, New York (1988)"},{"key":"736_CR27","volume-title":"1st ACM SIGMETRICS Symposium on Parallel and Distributed Tools","author":"J.K. Hollingsworth","year":"1996","unstructured":"Hollingsworth, J.K.: An online computation of critical path profiling. In: 1st ACM SIGMETRICS Symposium on Parallel and Distributed Tools. ACM, New York (1996)"},{"key":"736_CR28","doi-asserted-by":"crossref","unstructured":"Barford, P., Crovella, M.: Critical path analysis of TCP transactions. SIGCOMM Comput. Commun. Rev. 30(4) (2000)","DOI":"10.1145\/347057.347416"},{"key":"736_CR29","volume-title":"International Conference on Cluster Computing","author":"M. Schulz","year":"2005","unstructured":"Schulz, M.: Extracting critical path graphs from MPI applications. In: International Conference on Cluster Computing. IEEE, New York (2005)"},{"key":"736_CR30","volume-title":"26th International Parallel Distributed Processing Symposium","author":"D. Bohme","year":"2012","unstructured":"Bohme, D., Wolf, F., de Supinski, B.R., Schulz, M., Geimer, M.: Scalable critical-path based performance analysis. In: 26th International Parallel Distributed Processing Symposium. IEEE, New York (2012)"},{"key":"736_CR31","volume-title":"ASP-DAC","author":"J. Luo","year":"2002","unstructured":"Luo, J., Jha, N.K.: Static and dynamic variable voltage scheduling algorithms for real-time heterogeneous distributed embedded systems. In: ASP-DAC. IEEE, New York (2002)"},{"key":"736_CR32","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: a survey of issues and approaches. Data Knowl. Eng. 47 (2003)","DOI":"10.1016\/S0169-023X(03)00066-1"},{"key":"736_CR33","volume-title":"1st International Conference on Engineering and Deployment of Cooperative Information Systems","author":"W.M.P. van der Aalst","year":"2002","unstructured":"van der Aalst, W.M.P., van Dongen, B.F.: Discovering workflow performance models from timed logs. In: 1st International Conference on Engineering and Deployment of Cooperative Information Systems. Springer, Berlin (2002)"},{"key":"736_CR34","volume-title":"Design, Automation Test in Europe Conference Exhibition","author":"Y. Yang","year":"2010","unstructured":"Yang, Y., Geilen, M., Basten, T., Stuijk, S., Corporaal, H.: Automated bottleneck-driven design-space exploration of media processing systems. In: Design, Automation Test in Europe Conference Exhibition. IEEE, New York (2010)"},{"key":"736_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T.A. Henzinger","year":"2005","unstructured":"Henzinger, T.A., Majumdar, R., Prabhu, V.S.: Quantifying similarities between timed systems. In: Formal Modeling and Analysis of Timed Systems, vol.\u00a03829. Springer, Berlin (2005)"},{"key":"736_CR36","volume-title":"10th International Conference on Real-Time and Embedded Computing Systems and Applications","author":"J. Huang","year":"2004","unstructured":"Huang, J., Voeten, J., Geilen, M.: Real-time property preservation in concurrent real-time systems. In: 10th International Conference on Real-Time and Embedded Computing Systems and Applications (2004)"},{"key":"736_CR37","unstructured":"Levenshtein, V.I.: Binary codes capable of correcting deletions, insertions and reversals. Sov. Phys. Dokl. 10 (1966)"},{"key":"736_CR38","volume-title":"4th International Workshop on Temporal Representation and Reasoning","author":"H. Mannila","year":"1997","unstructured":"Mannila, H., Ronkainen, P.: Similarity of event sequences. In: 4th International Workshop on Temporal Representation and Reasoning. IEEE Comput. Soc., Los Alamitos (1997)"},{"key":"736_CR39","doi-asserted-by":"crossref","unstructured":"Gao, X., Xiao, B., Tao, D., Li, X.: A survey of graph edit distance. Pattern Anal. Appl. 13(1) (2010)","DOI":"10.1007\/s10044-008-0141-y"},{"key":"736_CR40","doi-asserted-by":"crossref","unstructured":"Zeng, Z., Tung, A.K.H., Wang, J., Feng, J., Zhou, L.: Comparing stars: on approximating graph edit distance. Proc. VLDB Endow. 2(1) (2009)","DOI":"10.14778\/1687627.1687631"},{"key":"736_CR41","doi-asserted-by":"crossref","unstructured":"Akoglu, L., Tong, H., Koutra, D.: Graph based anomaly detection and description: a survey. Data Min. Knowl. Discov. 29(3) (2015)","DOI":"10.1007\/s10618-014-0365-y"},{"key":"736_CR42","volume-title":"Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining","author":"C.C. Noble","year":"2003","unstructured":"Noble, C.C., Cook, D.J.: Graph-based anomaly detection. In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, New York (2003)"},{"key":"736_CR43","volume-title":"Proceedings of the Sixth International Conference on Application of Concurrency to System Design","author":"A.H. Ghamarian","year":"2006","unstructured":"Ghamarian, A.H., Geilen, M.C.W., Stuijk, S., Basten, T., Theelen, B.D., Mousavi, M.R., Moonen, A.J.M., Bekooij, M.J.G.: Throughput analysis of synchronous data flow graphs. In: Proceedings of the Sixth International Conference on Application of Concurrency to System Design. IEEE Comput. Soc., Los Alamitos (2006)"},{"key":"736_CR44","volume-title":"Queueing Systems, Vol I: Theory","author":"L. Kleinrock","year":"1975","unstructured":"Kleinrock, L.: Queueing Systems, Vol I: Theory. Wiley, New York (1975)"},{"key":"736_CR45","doi-asserted-by":"crossref","unstructured":"Little, J.D.C.: A proof for the queueing formula: $l = \\lambda w$. Oper. Res. 9(3) (1961)","DOI":"10.1287\/opre.9.3.383"},{"key":"736_CR46","doi-asserted-by":"crossref","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebraic Program. 78(5) (2009)","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"736_CR47","doi-asserted-by":"crossref","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4) (1990)","DOI":"10.1007\/BF01995674"},{"key":"736_CR48","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104 (1993)","DOI":"10.1006\/inco.1993.1025"},{"key":"736_CR49","doi-asserted-by":"crossref","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1) (1996)","DOI":"10.1145\/227595.227602"},{"key":"736_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_37","volume-title":"Computer Aided Verification","author":"M. Geilen","year":"2003","unstructured":"Geilen, M.: An improved on-the-fly tableau construction for a real-time temporal logic. In: Computer Aided Verification, vol.\u00a02725. Springer, Berlin (2003)"},{"key":"736_CR51","volume-title":"Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems","author":"D. Ni\u010dkovi\u0107","year":"2010","unstructured":"Ni\u010dkovi\u0107, D., Piterman, N.: From MTL to deterministic timed automata. In: Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, vol.\u00a06246. Springer, Berlin (2010)"},{"key":"736_CR52","volume-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications","author":"I. Lee","year":"1999","unstructured":"Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime assurance based on formal specifications. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (1999)"},{"key":"736_CR53","volume-title":"Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The temporal rover and the ATG rover. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification. Springer, Berlin (2000)"},{"key":"736_CR54","unstructured":"Havelund, K., Ro\u015fu, G.: Testing linear temporal logic formulae on finite execution traces. Technical report (2001)"},{"key":"736_CR55","doi-asserted-by":"crossref","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring algorithms for metric temporal logic specifications. Electron. Notes Theor. Comput. Sci. 113 (2005)","DOI":"10.1016\/j.entcs.2004.01.029"},{"key":"736_CR56","doi-asserted-by":"crossref","unstructured":"Markey, N., Raskin, J.-F.: Model checking restricted sets of timed paths. Theor. Comput. Sci. 358(2) (2006)","DOI":"10.1016\/j.tcs.2006.01.019"},{"key":"736_CR57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_15","volume-title":"Runtime Verification","author":"H.M. Ho","year":"2014","unstructured":"Ho, H.M., Ouaknine, J., Worrell, J.: Online monitoring of metric temporal logic. In: Runtime Verification, vol.\u00a08734. Springer, Berlin (2014)"},{"key":"736_CR58","volume-title":"16th International Conference on Application of Concurrency to System Design","author":"M. Hendriks","year":"2016","unstructured":"Hendriks, M., Geilen, M., Behrouzian, A.R.B., Basten, T., Alizadeh, H., Goswami, D.: Checking metric temporal logic with trace. In: 16th International Conference on Application of Concurrency to System Design (2016)"},{"key":"736_CR59","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Geilen, M., Behrouzian, A.R.B., Basten, T., Alizadeh, H., Goswami, D.: Checking metric temporal logic with Trace. Technical Report ESR-2016-01, (2016)","DOI":"10.1109\/ACSD.2016.13"},{"key":"736_CR60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_3","volume-title":"Computer Aided Verification","author":"C. Eisner","year":"2003","unstructured":"Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Van Campenhout, D.: Reasoning with temporal logic on truncated paths. In: Computer Aided Verification, vol.\u00a02725. Springer, Berlin (2003)"},{"key":"736_CR61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O. Maler","year":"2004","unstructured":"Maler, O., Ni\u010dkovi\u0107, D.: Monitoring temporal properties of continuous signals. In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, vol.\u00a03253. Springer, Berlin (2004)"},{"key":"736_CR62","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42) (2009)","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"736_CR63","series-title":"LNCS.","volume-title":"Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems. LNCS., vol.\u00a06246. Springer, Berlin (2010)"},{"key":"736_CR64","series-title":"LNCS.","volume-title":"Proceedings of the 25th International Conference on Computer Aided Verification","author":"A. Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Proceedings of the 25th International Conference on Computer Aided Verification. LNCS., vol.\u00a08044. Springer, Berlin (2013)"},{"key":"736_CR65","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Computer Aided Verification, vol.\u00a06174. Springer, Berlin (2010)"},{"key":"736_CR66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89963-3_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Ni\u010dkovi\u0107","year":"2018","unstructured":"Ni\u010dkovi\u0107, D., Lebeltel, O., Maler, O., Ferr\u00e8re, T., Ulus, D.: AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. In: Tools and Algorithms for the Construction and Analysis of Systems, vol.\u00a010806. Springer, Berlin (2018)"},{"key":"736_CR67","volume-title":"Automated Technology for Verification and Analysis, Volume 12302 of LNPSE","author":"D. Ni\u010dkovi\u0107","year":"2020","unstructured":"Ni\u010dkovi\u0107, D., Yamaguchi, T.: RTAMT: Online robustness monitors from STL. In: Automated Technology for Verification and Analysis, Volume 12302 of LNPSE. Springer, Berlin (2020)"},{"key":"736_CR68","volume-title":"IEEE Conference on Industrial Cyberphysical Systems","author":"T. Broenink","year":"2020","unstructured":"Broenink, T., Jansen, B., Broenink, J.: Tooling for automated testing of cyber-physical system models. In: IEEE Conference on Industrial Cyberphysical Systems, vol.\u00a01 (2020)"},{"key":"736_CR69","unstructured":"Dassault Systemes. Stimulus. https:\/\/www.3ds.com\/products-services\/catia\/products\/stimulus\/"},{"key":"736_CR70","unstructured":"MathWorks. Assess temporal logic by using temporal assessments. https:\/\/nl.mathworks.com\/help\/sltest\/ug\/temporal-assessments.html"},{"key":"736_CR71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_4","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Ferr\u00e8re","year":"2019","unstructured":"Ferr\u00e8re, T., Maler, O., Ni\u010dkovi\u0107, D.: Mixed-time signal temporal logic. In: Formal Modeling and Analysis of Timed Systems, vol.\u00a011750. Springer, Berlin (2019)"},{"key":"736_CR72","volume-title":"20th Working Conference on Reverse Engineering","author":"K. Noda","year":"2012","unstructured":"Noda, K., Kobayashi, T., Agusa, K.: Execution trace abstraction based on meta patterns usage. In: 20th Working Conference on Reverse Engineering. IEEE Comput. Soc., Los Alamitos (2012)"},{"key":"736_CR73","series-title":"26th Conference on Program Comprehension","doi-asserted-by":"publisher","DOI":"10.1145\/3196321.3196343","volume-title":"Hierarchical Abstraction of Execution Traces for Program Comprehension","author":"Y. Feng","year":"2018","unstructured":"Feng, Y., Dreef, K., Jones, J.A., van Deursen, A.: Hierarchical Abstraction of Execution Traces for Program Comprehension. 26th Conference on Program Comprehension. Association for Computing Machinery (2018)"},{"key":"736_CR74","doi-asserted-by":"crossref","unstructured":"Montani, S., Leonardi, G., Striani, M., Quaglini, S., Cavallini, A.: Multi-level abstraction for trace comparison and process discovery. Expert Syst. Appl. 81(C) (2017)","DOI":"10.1016\/j.eswa.2017.03.063"},{"key":"736_CR75","volume-title":"Business Process Management","author":"J.C.R.P. Bose","year":"2009","unstructured":"Bose, J.C.R.P., van der Aalst, W.M.P.: Abstractions in process mining: a taxonomy of patterns. In: Business Process Management. Springer, Berlin (2009)"},{"key":"736_CR76","volume-title":"IEEE 41st Annual Computer Software and Applications Conference","author":"R. Gad","year":"2017","unstructured":"Gad, R.: Improving packet capture trace import in trace compass with a data transformation DSL. In: IEEE 41st Annual Computer Software and Applications Conference, vol.\u00a02 (2017)"},{"key":"736_CR77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-49995-2","volume-title":"Probability in Electrical Engineering and Computer Science","author":"J. Walrand","year":"2021","unstructured":"Walrand, J.: Probability in Electrical Engineering and Computer Science. Springer, Berlin (2021)"},{"key":"736_CR78","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Form. Methods Syst. Des. 19(3) (2001)","DOI":"10.1023\/A:1011254632723"},{"key":"736_CR79","doi-asserted-by":"crossref","unstructured":"Deshmukh, J.V., Donz\u00e9, A., Ghosh, S., Jin, X., Juniwal, G., Seshia, S.A.: Robust online monitoring of signal temporal logic. Form. Methods Syst. Des. 51(1) (2017)","DOI":"10.1007\/s10703-017-0286-7"},{"key":"736_CR80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_11","volume-title":"Computer Aided Verification","author":"I. Beer","year":"2009","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. In: Computer Aided Verification, vol.\u00a05643. Springer, Berlin (2009)"},{"key":"736_CR81","unstructured":"Behave. https:\/\/behave.readthedocs.io\/"},{"key":"736_CR82","volume-title":"17th IEEE International Conference on Automation Science and Engineering","author":"B. van der Sanden","year":"2021","unstructured":"van der Sanden, B., Blankenstein, Y., Schiffelers, R., Voeten, J.: LSAT: Specification and analysis of product logistics in flexible manufacturing systems. In: 17th IEEE International Conference on Automation Science and Engineering. IEEE Press, New York (2021)"},{"key":"736_CR83","unstructured":"Eclipse Foundation. Eclipse Lsat. https:\/\/www.eclipse.org\/lsat\/"},{"key":"736_CR84","volume-title":"Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering\u2014MODELSWARD","author":"J. Verriet","year":"2023","unstructured":"Verriet, J., van der Sanden, B., van der Veen, G., van Splunter, A., Lousberg, S., Hendriks, M., Basten, T.: Experiences and lessons from introducing model-based analysis in brown-field product family development. In: Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering\u2014MODELSWARD. INSTICC, SciTePress (2023)"},{"key":"736_CR85","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Bogdanov, K.: Automated comparison of state-based software models in terms of their language and structure. ACM Trans. Softw. Eng. Methodol. 22(2) (2013)","DOI":"10.1145\/2430545.2430549"},{"key":"736_CR86","volume-title":"Plato and the Nerd: The Creative Partnership of Humans and Technology","author":"E.A. Lee","year":"2018","unstructured":"Lee, E.A.: Plato and the Nerd: The Creative Partnership of Humans and Technology. MIT Press, Cambridge (2018)"}],"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-024-00736-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00736-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00736-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T09:07:02Z","timestamp":1707988022000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00736-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":86,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["736"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00736-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2]]},"assertion":[{"value":"28 November 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}