{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T15:27:05Z","timestamp":1682954825262},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T00:00:00Z","timestamp":1591401600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T00:00:00Z","timestamp":1591401600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s10009-020-00578-9","type":"journal-article","created":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T07:02:23Z","timestamp":1591426943000},"page":"635-654","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Dependency graphs with applications to verification"],"prefix":"10.1007","volume":"22","author":[{"given":"S\u00f8ren","family":"Enevoldsen","sequence":"first","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Anders","family":"Mariegaard","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,6]]},"reference":[{"key":"578_CR1","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1016\/0169-7552(93)90048-9","volume":"25","author":"B Algayres","year":"1993","unstructured":"Algayres, B., Coelho, V., Doldi, L., Garavel, H., Lejeune, Y., Rodriguez, C.: Vesar: a pragmatic approach to formal specification and verification. Comput. Netw. ISDN Syst. 25, 779\u2013790 (1993). https:\/\/doi.org\/10.1016\/0169-7552(93)90048-9","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"7","key":"578_CR2","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1016\/0169-7552(93)90048-9","volume":"25","author":"B Algayres","year":"1993","unstructured":"Algayres, B., Coelho, V., Doldi, L., Garavel, H., Lejeune, Y., Rodr\u00edguez, C.: VESAR: a pragmatic approach to formal specification and verification. Comput. Netw. ISDN Syst. 25(7), 779\u2013790 (1993). https:\/\/doi.org\/10.1016\/0169-7552(93)90048-9","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"2","key":"578_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci."},{"key":"578_CR4","doi-asserted-by":"publisher","unstructured":"Andersen, H.R.: Model checking and boolean graphs. In: Krieg-Br\u00fcckner, B. (ed.) ESOP \u201992, 4th European Symposium on Programming, Rennes, France, February 26\u201328, 1992, Proceedings. Lecture Notes in Computer Science, vol. 582, pp. 1\u201319. Springer (1992). https:\/\/doi.org\/10.1007\/3-540-55253-7_1","DOI":"10.1007\/3-540-55253-7_1"},{"key":"578_CR5","doi-asserted-by":"publisher","unstructured":"Andersen, H.R., Winskel, G.: Compositional checking of satisfaction. In: Larsen, K.G., Skou, A. (eds.) Computer Aided Verification, 3rd International Workshop, CAV \u201991, Aalborg, Denmark, July, 1\u20134, 1991, Proceedings. Lecture Notes in Computer Science, vol. 575, pp. 24\u201336. Springer (1991). https:\/\/doi.org\/10.1007\/3-540-55179-4_4","DOI":"10.1007\/3-540-55179-4_4"},{"key":"578_CR6","doi-asserted-by":"publisher","unstructured":"Andersen, J., Andersen, N., Enevoldsen, S., Hansen, M., Larsen, K., Olesen, S., Srba, J., Wortmann, J.: CAAL: concurrency workbench, Aalborg edition. In: Proceedings of the 12th International Colloquium on Theoretical Aspec ts of Computing (ICTAC\u201915), LNCS, vol. 9399, pp. 573\u2013582. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-25150-9_33","DOI":"10.1007\/978-3-319-25150-9_33"},{"key":"578_CR7","doi-asserted-by":"publisher","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S. (eds.) Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994, Lecture Notes in Computer Science, vol. 999, pp. 1\u201320. Springer (1994). https:\/\/doi.org\/10.1007\/3-540-60472-3_1","DOI":"10.1007\/3-540-60472-3_1"},{"key":"578_CR8","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)"},{"issue":"6A","key":"578_CR9","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1007\/BF03180566","volume":"4","author":"JL Balc\u00e1zar","year":"1992","unstructured":"Balc\u00e1zar, J.L., Gabarr\u00f3, J., Santha, M.: Deciding bisimilarity is P-complete. Form. Asp. Comput. 4(6A), 638\u2013648 (1992)","journal-title":"Form. Asp. Comput."},{"key":"578_CR10","doi-asserted-by":"publisher","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: Uppaal-tiga: time for playing games! In: Damm, W., Hermanns, H. (eds.) Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3\u20137, 2007, Proceedings. Lecture Notes in Computer Science, vol. 4590, pp. 121\u2013125. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"578_CR11","unstructured":"B\u00f8nneland, F.M., Jensen, P.G., Larsen, K.G., Mu\u00f1iz, M., Srba, J.: Partial order reduction for reachability games. In: CONCUR\u201919 (2019) (to appear)"},{"key":"578_CR12","unstructured":"B\u00f8rjesson, A., Larsen, K.G., Skou, A.: Generality in design and compositional verification using TAV. In: Diaz, M., Groz, R. (eds.) Formal Description Techniques, V, Proceedings of the IFIP TC6\/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE \u201992, Perros-Guirec, France, 13\u201316 October 1992, IFIP Transactions, vol. C-10, pp. 449\u2013464. North-Holland (1992)"},{"issue":"1","key":"578_CR13","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(92)90183-G","volume":"96","author":"JC Bradfield","year":"1992","unstructured":"Bradfield, J.C., Stirling, C.: Local model checking for infinite state spaces. Theor. Comput. Sci. 96(1), 157\u2013174 (1992). https:\/\/doi.org\/10.1016\/0304-3975(92)90183-G","journal-title":"Theor. Comput. Sci."},{"key":"578_CR14","doi-asserted-by":"publisher","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de\u00a0Alfaro, L. (eds.) CONCUR 2005\u2014Concurrency Theory, pp. 66\u201380. Springer, Berlin (2005). https:\/\/doi.org\/10.1007\/11539452_9","DOI":"10.1007\/11539452_9"},{"key":"578_CR15","doi-asserted-by":"publisher","unstructured":"Cassez, F., Jessen, J.J., Larsen, K.G., Raskin, J., Reynier, P.: Automatic synthesis of robust and optimal controllers\u2014an industrial case study. In: Majumdar, R., Tabuada, P. (eds.) Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13\u201315, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5469, pp. 90\u2013104. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-00602-9_7","DOI":"10.1007\/978-3-642-00602-9_7"},{"key":"578_CR16","doi-asserted-by":"publisher","unstructured":"Cerans, K., Godskesen, J.C., Larsen, K.G.: Timed modal specification\u2014theory and tools. In: Courcoubetis, C. (ed.) Computer Aided Verification, 5th International Conference, CAV \u201993, Elounda, Greece, June 28\u2013July 1, 1993, Proceedings, Lecture Notes in Computer Science, vol. 697, pp. 253\u2013267. Springer (1993). https:\/\/doi.org\/10.1007\/3-540-56922-7_21","DOI":"10.1007\/3-540-56922-7_21"},{"key":"578_CR17","doi-asserted-by":"publisher","unstructured":"Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J.T., Larsen, K.G., Mardare, R.: Parametric verification of weighted systems. In: Andr\u00e9, \u00c9., Frehse, G. (eds.) 2nd International Workshop on Synthesis of Complex Parameters (SynCoP\u201915), OpenAccess Series in Informatics (OASIcs), vol.\u00a044, pp. 77\u201390. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2015). https:\/\/doi.org\/10.4230\/OASIcs.SynCoP.2015.77","DOI":"10.4230\/OASIcs.SynCoP.2015.77"},{"key":"578_CR18","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-030-20652-9_20","volume-title":"NASA Formal Methods","author":"M Claus Jensen","year":"2019","unstructured":"Claus Jensen, M., Mariegaard, A., Guldstrand Larsen, K.: Symbolic model checking of weighted PCTL using dependency graphs. In: Badger, J.M., Rozier, K.Y. (eds.) NASA Formal Methods, pp. 298\u2013315. Springer, Cham (2019)"},{"key":"578_CR19","doi-asserted-by":"publisher","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench. In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12\u201314, 1989, Proceedings, Lecture Notes in Computer Science, vol. 407, pp. 24\u201337. Springer (1989). https:\/\/doi.org\/10.1007\/3-540-52148-8_3","DOI":"10.1007\/3-540-52148-8_3"},{"key":"578_CR20","doi-asserted-by":"publisher","unstructured":"Cleaveland, R., Steffen, B.: Computing behavioural relations, logically. In: Albert, J.L., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8\u201312, 1991, Proceedings, Lecture Notes in Computer Science, vol. 510, pp. 127\u2013138. Springer (1991). https:\/\/doi.org\/10.1007\/3-540-54233-7_129","DOI":"10.1007\/3-540-54233-7_129"},{"issue":"4","key":"578_CR21","doi-asserted-by":"publisher","first-page":"351","DOI":"10.3233\/FI-2018-1707","volume":"161","author":"A Dalsgaard","year":"2018","unstructured":"Dalsgaard, A., Enevoldsen, S., Fogh, P., Jensen, L., Jensen, P., Jepsen, T., Kaufmann, I., Larsen, K., Nielsen, S., Olesen, M., Pastva, S., Srba, J.: A distributed fixed-point algorithm for extended dependency graphs. Fundam. Inform. 161(4), 351\u2013381 (2018). https:\/\/doi.org\/10.3233\/FI-2018-1707","journal-title":"Fundam. Inform."},{"key":"578_CR22","doi-asserted-by":"crossref","unstructured":"Dalsgaard, A., Enevoldsen, S., Fogh, P., Jensen, L., Jepsen, T., Kaufmann, I., Larsen, K., Nielsen, S., Olesen, M., Pastva, S., Srba, J.: Extended dependency graphs and efficient distributed fixed-point computation. In: Proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets\u201917), LNCS, vol. 10258, pp. 139\u2013158. Springer (2017)","DOI":"10.1007\/978-3-319-57861-3_10"},{"key":"578_CR23","doi-asserted-by":"publisher","unstructured":"Dalsgaard, A., Enevoldsen, S., Larsen, K., Srba, J.: Distributed computation of fixed points on dependency graphs. In: Proceedings of Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA\u201916), LNCS, vol. 9984, pp. 197\u2013212. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-47677-3_13","DOI":"10.1007\/978-3-319-47677-3_13"},{"key":"578_CR24","doi-asserted-by":"publisher","unstructured":"David, A., Grunnet, J.D., Jessen, J.J., Larsen, K.G., Rasmussen, J.I.: Application of model-checking technology to controller synthesis. In: Aichernig, B.K., de\u00a0Boer, F.S., Bonsangue, M.M. (eds.) Formal Methods for Components and Objects\u20149th International Symposium, FMCO 2010, Graz, Austria, November 29\u2013December 1, 2010. Revised Papers, Lecture Notes in Computer Science, vol. 6957, pp. 336\u2013351. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_18","DOI":"10.1007\/978-3-642-25271-6_18"},{"key":"578_CR25","doi-asserted-by":"crossref","unstructured":"David, A., Jacobsen, L., Jacobsen, M., J\u00f8rgensen, K., M\u00f8ller, M., Srba, J.: TAPAAL 2.0: integrated development environment for timed-arc Petri nets. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201912), LNCS, vol. 7214, pp. 492\u2013497. Springer (2012)","DOI":"10.1007\/978-3-642-28756-5_36"},{"key":"578_CR26","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Mikucionis, M., Taankvist, J.H.: Uppaal stratego. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems\u201421st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11\u201318, 2015. Proceedings, Lecture Notes in Computer Science, vol. 9035, pp. 206\u2013211. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"578_CR27","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-030-17462-0_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Enevoldsen","year":"2019","unstructured":"Enevoldsen, S., Guldstrand Larsen, K., Srba, J.: Abstract dependency graphs and their application to model checking. In: Vojnar, T., Zhang, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 316\u2013333. Springer, Cham (2019)"},{"key":"578_CR28","doi-asserted-by":"publisher","unstructured":"Enevoldsen, S., Larsen, K., Srba, J.: Model verification throughdependency graphs. In: Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN\u201919), LNCS, vol. 11636, pp. 1\u201319. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-30923-7_1","DOI":"10.1007\/978-3-030-30923-7_1"},{"key":"578_CR29","unstructured":"Godskesen, J., Larsen, K., Zeeberg, M.: Tav (tools for automatic verification)\u2013user manual. Aalborg University, Technical Report (1989)"},{"key":"578_CR30","doi-asserted-by":"publisher","unstructured":"Groote, J.F., Willemse, T.A.C.: Parameterised Boolean equation systems (extended abstract). In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004\u2014Concurrency Theory, 15th International Conference, London, UK, August 31\u2013September 3, 2004, Proceedings, Lecture Notes in Computer Science, vol. 3170, pp. 308\u2013324. Springer (2004).https:\/\/doi.org\/10.1007\/978-3-540-28644-8_20","DOI":"10.1007\/978-3-540-28644-8_20"},{"issue":"5","key":"578_CR31","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput. 6(5), 512\u2013535 (1994). https:\/\/doi.org\/10.1007\/BF01211866","journal-title":"Form. Asp. Comput."},{"issue":"4","key":"578_CR32","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/s10009-014-0359-5","volume":"18","author":"J Jensen","year":"2016","unstructured":"Jensen, J., Larsen, K., Srba, J., Oestergaard, L.: Efficient model checking of weighted CTL with upper-bound constraints. Int. J. Softw. Tools Technol. Transf. (STTT) 18(4), 409\u2013426 (2016). https:\/\/doi.org\/10.1007\/s10009-014-0359-5","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"578_CR33","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-39176-7_12","volume-title":"Model Checking Software","author":"JF Jensen","year":"2013","unstructured":"Jensen, J.F., Larsen, K.G., Srba, J., Oestergaard, L.K.: Local model checking of weighted CTL with upper-bound constraints. In: Bartocci, E., Ramakrishnan, C.R. (eds.) Model Checking Software, pp. 178\u2013195. Springer, Berlin (2013)"},{"issue":"5","key":"578_CR34","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10009-017-0473-2","volume":"20","author":"PG Jensen","year":"2018","unstructured":"Jensen, P.G., Larsen, K.G., Srba, J.: Discrete and continuous strategies for timed-arc petri net games. Int. J. Softw. Tools Technol. Transf. 20(5), 529\u2013546 (2018). https:\/\/doi.org\/10.1007\/s10009-017-0473-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"578_CR35","doi-asserted-by":"publisher","unstructured":"Karra, S.L., Larsen, K.G., Lorber, F., Srba, J.: Safe and time-optimal control for railway games. In: Dutilleul, S.C., Lecomte, T., Romanovsky, A.B. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification\u2014Third International Conference, RSSRail 2019, Lille, France, June 4\u20136, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11495, pp. 106\u2013122. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_7","DOI":"10.1007\/978-3-030-18744-6_7"},{"key":"578_CR36","doi-asserted-by":"publisher","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$ -calculus. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12\u201316, 1982, Proceedings, Lecture Notes in Computer Science, vol. 140, pp. 348\u2013359. Springer (1982). https:\/\/doi.org\/10.1007\/BFb0012782","DOI":"10.1007\/BFb0012782"},{"key":"578_CR37","doi-asserted-by":"publisher","unstructured":"Larsen, K.G.: Proof system for hennessy-milner logic with recursion. In: M.\u00a0Dauchet, M.\u00a0Nivat (eds.) CAAP \u201988, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21\u201324, 1988, Proceedings, Lecture Notes in Computer Science, vol. 299, pp. 215\u2013230. Springer (1988). https:\/\/doi.org\/10.1007\/BFb0026106","DOI":"10.1007\/BFb0026106"},{"issue":"2&3","key":"578_CR38","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(90)90038-J","volume":"72","author":"KG Larsen","year":"1990","unstructured":"Larsen, K.G.: Proof systems for satisfiability in hennessy-milner logic with recursion. Theor. Comput. Sci. 72(2&3), 265\u2013288 (1990). https:\/\/doi.org\/10.1016\/0304-3975(90)90038-J","journal-title":"Theor. Comput. Sci."},{"key":"578_CR39","doi-asserted-by":"publisher","unstructured":"Larsen, K.G.: Efficient local correctness checking. In: von Bochmann, G., Probst, D.K. (eds.) Computer Aided Verification, Fourth International Workshop, CAV \u201992, Montreal, Canada, June 29\u2013July 1, 1992, Proceedings, Lecture Notes in Computer Science, vol. 663, pp. 30\u201343. Springer (1992). https:\/\/doi.org\/10.1007\/3-540-56496-9_4","DOI":"10.1007\/3-540-56496-9_4"},{"key":"578_CR40","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Mikucionis, M., Taankvist, J.H.: Safe and optimal adaptive cruise control. In: Meyer, R., Platzer, A., Wehrheim, H. (eds.) Correct System Design\u2014Symposium in Honor of Ernst-R\u00fcdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8\u20139, 2015. Proceedings, Lecture Notes in Computer Science, vol. 9360, pp. 260\u2013277. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-23506-6_17","DOI":"10.1007\/978-3-319-23506-6_17"},{"issue":"1\u20132","key":"578_CR41","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. STTT 1(1\u20132), 134\u2013152 (1997). https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"STTT"},{"key":"578_CR42","doi-asserted-by":"crossref","unstructured":"Liu, X., Smolka, S.A.: Simple linear-time algorithms for minimal fixed points (extended abstract). In: Proceedings of ICALP\u201998, LNCS, vol. 1443, pp. 53\u201366. Springer, London, UK, UK (1998). http:\/\/dl.acm.org\/citation.cfm?id=646252.686017","DOI":"10.1007\/BFb0055040"},{"key":"578_CR43","doi-asserted-by":"publisher","unstructured":"Mariegaard, A., Guldstrand\u00a0Larsen, K.: Symbolic dependency graphs for $$\\text{PCTL}^{>}_{\\le }$$ model-checking. In: Formal Modeling and Analysis of Timed Systems, pp. 153\u2013169 (2017). https:\/\/doi.org\/10.1007\/978-3-319-65765-3_9","DOI":"10.1007\/978-3-319-65765-3_9"},{"key":"578_CR44","unstructured":"Mariegaard, A., Ringsmose, J.: Parameter synthesis for simulation distances between weighted transition systems. Master thesis, Aalborg University, Department of Computer Science (2015). https:\/\/projekter.aau.dk\/projekter\/files\/213391193\/paper.pdf"},{"key":"578_CR45","doi-asserted-by":"publisher","unstructured":"Mateescu, R.: Efficient diagnostic generation for Boolean equation systems. In: Graf, S., Schwartzbach, M.I. (eds.) Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25\u2013April 2, 2000, Proceedings, Lecture Notes in Computer Science, vol. 1785, pp. 251\u2013265. Springer (2000). https:\/\/doi.org\/10.1007\/3-540-46419-0_18","DOI":"10.1007\/3-540-46419-0_18"},{"key":"578_CR46","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems. In: LNCS, vol. 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"578_CR47","doi-asserted-by":"publisher","unstructured":"Steffen, B.: Characteristic formulae. In: Ausiello, G., Dezani-Ciancaglini, M., Rocca, S.R.D. (eds.) Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11\u201315, 1989, Proceedings, Lecture Notes in Computer Science, vol. 372, pp. 723\u2013732. Springer (1989). https:\/\/doi.org\/10.1007\/BFb0035794","DOI":"10.1007\/BFb0035794"},{"issue":"1","key":"578_CR48","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(90)90110-4","volume":"89","author":"C Stirling","year":"1991","unstructured":"Stirling, C., Walker, D.: Local model checking in the modal mu-calculus. Theor. Comput. Sci. 89(1), 161\u2013177 (1991). https:\/\/doi.org\/10.1016\/0304-3975(90)90110-4","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"578_CR49","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math 5(2), 285\u2013309 (1955)","journal-title":"Pac. J. Math"},{"key":"578_CR50","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.J.: The linear time\u2014branching time spectrum. In: LNCS, vol. 458, pp. 278\u2013297. Springer (1990). https:\/\/doi.org\/10.1007\/BFb0039066","DOI":"10.1007\/BFb0039066"},{"issue":"1","key":"578_CR51","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(91)90043-2","volume":"83","author":"G Winskel","year":"1991","unstructured":"Winskel, G.: A note on model checking the modal nu-calculus. Theor. Comput. Sci. 83(1), 157\u2013167 (1991). https:\/\/doi.org\/10.1016\/0304-3975(91)90043-2","journal-title":"Theor. Comput. Sci."}],"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-020-00578-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00578-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00578-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,5]],"date-time":"2021-06-05T23:38:48Z","timestamp":1622936328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00578-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,6]]},"references-count":51,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["578"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00578-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,6]]},"assertion":[{"value":"6 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}