{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T05:57:28Z","timestamp":1742795848689},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75221-9_6","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T10:33:13Z","timestamp":1188469993000},"page":"115-169","source":"Crossref","is-referenced-by-count":18,"title":["Automating Verification of Cooperation, Control, and Design in Traffic Applications"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Mikschl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Oehlerking","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Segelken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Wirtz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 6\u201319. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.jlap.2005.10.004","volume":"68","author":"R. Alur","year":"2006","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional modeling and refinement for hierarchical hybrid systems. Journal of Logic and Algebraic Programming\u00a068(1-2), 105\u2013128 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"4-5","key":"6_CR3","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1016\/S0947-3580(05)71047-5","volume":"11","author":"A. Balluchi","year":"2006","unstructured":"Balluchi, A., Benvenuti, L., Engell, S., Geyer, T., Johansson, K., Lamnabhi-Lagarrigue, F., Lygeros, J., Morari, M., Papafotiou, G., Sangiovanni-Vincentelli, A., Santucci, F., Stursberg, O.: Hybrid control of networked embedded systems. European Journal on Control, Fundam. Issues in Control\u00a011(4-5), 478\u2013508 (2006)","journal-title":"European Journal on Control, Fundam. Issues in Control"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CADE 2007","author":"B. Beckert","year":"2007","unstructured":"Beckert, B., Giese, M., H\u00e4hnle, R., Klebanov, V., R\u00fcmmer, P., Schlager, S., Schmitt, P.H.: The KeY System 1.0 (deduction component). In: Pfenning, F. (ed.) CADE 2007. LNCS, vol.\u00a04603, Springer, Heidelberg (2007)"},{"key":"6_CR5","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Verification of Object-Oriented Software","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS (LNAI), vol.\u00a04334. Springer, Heidelberg (2007)"},{"unstructured":"Bohn, J., Damm, W., Klose, J., Moik, A., Wittke, H.: Modeling and validating train system applications using Statemate and live sequence charts. In: Proc. Conference on Integrated Design and Process Technology. Society for Design and Process Science (2002)","key":"6_CR6"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1080\/10556789908805765","volume":"10","author":"B. Borchers","year":"1999","unstructured":"Borchers, B.: CSDP, a C library for semidefinite programming. Optimization Methods and Software\u00a010(1), 613\u2013623 (1999)","journal-title":"Optimization Methods and Software"},{"doi-asserted-by":"crossref","unstructured":"Boyd, S., Ghaoui, L.E., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. In: SIAM (1994)","key":"6_CR8","DOI":"10.1137\/1.9781611970777"},{"doi-asserted-by":"crossref","unstructured":"Branicky, M.S.: Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control\u00a043(4) (1998)","key":"6_CR9","DOI":"10.1109\/9.664150"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MCS.2003.1200240","volume":"23","author":"A. Cervin","year":"2003","unstructured":"Cervin, A., Henriksson, D., Lincoln, B., Eker, J., Arz\u00e9n, K.: How does control timing affect performance? IEEE Control Systems Magazine\u00a023(2), 16\u201330 (2003)","journal-title":"IEEE Control Systems Magazine"},{"doi-asserted-by":"crossref","unstructured":"Damm, W., Disch, S., Hungar, H., Jacobs, S., Pang, J., Pigorsch, F., Scholl, C., Waldmann, U., Wirtz, B.: Exact state set representations in the verification of linear hybrid systems with large discrete state space. Technical report, AVACS (2007)","key":"6_CR11","DOI":"10.1007\/11901914_22"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/11901914_22","volume-title":"Automated Technology for Verification and Analysis","author":"W. Damm","year":"2006","unstructured":"Damm, W., Disch, S., Hungar, H., Pang, J., Pigorsch, F., Scholl, C., Waldmann, U., Wirtz, B.: Automatic verification of hybrid systems with large discrete state space. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol.\u00a04218, pp. 276\u2013291. Springer, Heidelberg (2006)"},{"issue":"5","key":"6_CR13","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.-R.: Verification of cooperating traffic agents. International Journal of Control\u00a079(5), 395\u2013421 (2006)","journal-title":"International Journal of Control"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1142\/S0129054107004577","volume":"18","author":"W. Damm","year":"2007","unstructured":"Damm, W., Pinto, G., Ratschan, S.: Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. International Journal of Foundations of Computer Science\u00a018(1), 63\u201386 (2007)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1142\/S0218127406015040","volume":"16","author":"V. Donde","year":"2006","unstructured":"Donde, V., Hiskens, I.A.: Shooting methods for locating grazing phenomena in hybrid systems. Intern. Journal of Bifurcation and Chaos\u00a016(3), 671\u2013692 (2006)","journal-title":"Intern. Journal of Bifurcation and Chaos"},{"issue":"7","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1109\/TAC.2002.800666","volume":"47","author":"G. Feng","year":"2002","unstructured":"Feng, G.: Stability analysis of piecewise discrete-time linear systems. IEEE Transactions on Automatic Control\u00a047(7), 1108\u20131112 (2002)","journal-title":"IEEE Transactions on Automatic Control"},{"unstructured":"Franklin, G.F., Powell, J.D., Workman, M.: Digital Control of Dynamic Systems. Pearson, London (1998)","key":"6_CR17"},{"issue":"3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10703-006-0031-0","volume":"30","author":"M. Fr\u00e4nzle","year":"2007","unstructured":"Fr\u00e4nzle, M., Herde, C.: HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods in System Design\u00a030(3), 179\u2013198 (2007)","journal-title":"Formal Methods in System Design"},{"key":"6_CR19","volume-title":"Proc. 13th IEEE Conference on Computer Aided Control Systems Design","author":"G. Frehse","year":"2004","unstructured":"Frehse, G.: Compositional verification of hybrid systems with discrete interaction using simulation relations. In: Proc. 13th IEEE Conference on Computer Aided Control Systems Design, IEEE Computer Society Press, Los Alamitos (2004)"},{"unstructured":"Frehse, G.: Compositional Verification of Hybrid Systems using Simulation Relations. PhD thesis, Radboud Universiteit Nijmegen (2005)","key":"6_CR20"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"unstructured":"Hager, G.: European ACAS operational evaluation \u2013 Final report. Technical Report EEC Report No. 316, Eurocontrol (1997)","key":"6_CR22"},{"key":"6_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"8","key":"6_CR24","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"A.E. Haxthausen","year":"2000","unstructured":"Haxthausen, A.E., Peleska, J.: Formal development and verification of a distributed railway control system. IEEE Transactions on Software Engineering\u00a026(8), 687\u2013701 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proc. 11th IEEE Symposium on Logic in Computer Science","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proc. 11th IEEE Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"5","key":"6_CR26","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control\u00a043(5), 540\u2013554 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 130\u2013144. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control\u00a043 (1998)","key":"6_CR28","DOI":"10.1109\/9.664157"},{"key":"6_CR29","volume-title":"Nonlinear Systems","author":"H.K. Khalil","year":"1996","unstructured":"Khalil, H.K.: Nonlinear Systems, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11730637_30","volume-title":"Hybrid Systems: Computation and Control","author":"F. Kratz","year":"2006","unstructured":"Kratz, F., Sokolsky, O., Pappas, G.J., Lee, I.: R-Charon, a modeling language for reconfigurable hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 392\u2013406. Springer, Heidelberg (2006)"},{"key":"6_CR31","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)"},{"issue":"7","key":"6_CR32","first-page":"926","volume":"88","author":"C. Livadas","year":"2000","unstructured":"Livadas, C., Lygeros, J., Lynch, N.A.: High-level modeling and analysis of TCAS. Proceedings of IEEE \u2013 Special Issue on Hybrid Systems: Theory & Applications\u00a088(7), 926\u2013947 (2000)","journal-title":"Proceedings of IEEE \u2013 Special Issue on Hybrid Systems: Theory & Applications"},{"key":"6_CR33","first-page":"284","volume-title":"IEEE Intern. Symp. Computer Aided Control Systems Design","author":"J. Lofberg","year":"2004","unstructured":"Lofberg, J.: YALMIP: a toolbox for modeling and optimization in Matlab. In: IEEE Intern. Symp. Computer Aided Control Systems Design, pp. 284\u2013289. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"5","key":"6_CR34","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R. Loos","year":"1993","unstructured":"Loos, R., Weispfenning, V.: Applying linear quantifier elimination. The Computer Journal\u00a036(5), 450\u2013462 (1993)","journal-title":"The Computer Journal"},{"key":"6_CR35","doi-asserted-by":"crossref","first-page":"203","DOI":"10.5802\/afst.246","volume":"9","author":"M.A. Lyapunov","year":"1907","unstructured":"Lyapunov, M.A.: Probl\u00e8me g\u00e9n\u00e9ral de la stabilit\u00e9 du movement. Ann. Fac. Sci. Toulouse. 9, 203\u2013474 (1907), (Translation of a paper published in Comm. Soc. Math. Kharkow, 1893, reprinted Ann. Math. Studies No.\u00a017, Princeton Univ. Press (1949)","journal-title":"Ann. Fac. Sci. Toulouse."},{"issue":"4","key":"6_CR36","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/9.664155","volume":"43","author":"J. Lygeros","year":"1998","unstructured":"Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control\u00a043(4), 522\u2013539 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"6_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","volume-title":"Hybrid Systems: Computation and Control","author":"N.A. Lynch","year":"2001","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I\/O automata revisited. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 403\u2013417. Springer, Heidelberg (2001)"},{"issue":"1","key":"6_CR38","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N.A. Lynch","year":"2003","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I\/O automata. Information and Computation\u00a0185(1), 105\u2013157 (2003)","journal-title":"Information and Computation"},{"unstructured":"Mishchenko, A., Chatterjee, S., Jiang, R., Brayton, R.K.: FRAIGs: A unifying representation for logic synthesis and verification. Technical report, EECS Dept., UC Berkeley (2005)","key":"6_CR39"},{"doi-asserted-by":"crossref","unstructured":"Nesterov, Y., Nemirovskii, A.: Interior Point Polynomial Algorithms in Convex Programming. In: SIAM (1994)","key":"6_CR40","DOI":"10.1137\/1.9781611970791"},{"key":"6_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1007\/978-3-540-71493-4_74","volume-title":"HSCC 2007","author":"J. Oehlerking","year":"2007","unstructured":"Oehlerking, J., Burchardt, H., Theel, O.: Fully automated stability verification for piecewise affine systems. In: Buttazzo, G., Bemporad, A., Bicchi, A. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 741\u2013745. Springer, Heidelberg (2007)"},{"unstructured":"Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers University of Technology, Gothenburg (1999)","key":"6_CR42"},{"key":"6_CR43","series-title":"Lecture Notes in Computer Science","volume-title":"TABLEAUX 2007","author":"A. Platzer","year":"2007","unstructured":"Platzer, A.: Differential dynamic logic for verifying parametric hybrid systems. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS, vol.\u00a04548, Springer, Heidelberg (2007)"},{"key":"6_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"746","DOI":"10.1007\/978-3-540-71493-4_75","volume-title":"HSCC 2007","author":"A. Platzer","year":"2007","unstructured":"Platzer, A.: Differential logic for reasoning about hybrid systems. In: Buttazzo, G., Bemporad, A., Bicchi, A. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 746\u2013749. Springer, Heidelberg (2007)"},{"key":"6_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/978-3-540-72734-7_32","volume-title":"Proc. International Symposium on Logical Foundations of Computer Science","author":"A. Platzer","year":"2007","unstructured":"Platzer, A.: A temporal dynamic logic for verifying hybrid system invariants. In: Proc. International Symposium on Logical Foundations of Computer Science. LNCS, vol.\u00a04514, pp. 457\u2013471. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Platzer, A.: Towards a hybrid dynamic logic for hybrid dynamic systems. In: Blackburn, P., Bolander, T., Bra\u00fcner, T., de Paiva, V., Villadsen, J. (eds.) Proc. LICS Intern. Workshop on Hybrid Logic. ENTCS (2007)","key":"6_CR46","DOI":"10.1016\/j.entcs.2006.11.026"},{"key":"6_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-71493-4_37","volume-title":"Proc. 10th Workshop on Hybrid Systems: Computation and Control","author":"A. Platzer","year":"2007","unstructured":"Platzer, A., Clarke, E.M.: The image computation problem in hybrid systems model checking. In: Proc. 10th Workshop on Hybrid Systems: Computation and Control. LNCS, vol.\u00a04416, pp. 473\u2013486. Springer, Heidelberg (2007)"},{"key":"6_CR48","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. 19th Conference on Computer Aided Verification","author":"M. Segelken","year":"2007","unstructured":"Segelken, M.: Abstraction and counterexample-guided construction of omega-automata for model checking of step-discrete linear hybrid models. In: Proc. 19th Conference on Computer Aided Verification. LNCS, Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Silva, B.I., Richeson, K., Krogh, B.H., Chutinan, A.: Modeling and verification of hybrid dynamical system using CheckMate. In: Proc. 4th Conference on Automation of Mixed Processes (2000)","key":"6_CR49","DOI":"10.1109\/ACC.2000.879487"},{"key":"6_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/10722167_21","volume-title":"Computer Aided Verification","author":"F. Somenzi","year":"2000","unstructured":"Somenzi, F., Bloem, R.: Efficient B\u00fcchi Automata from LTL Formulae. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 248\u2013263. Springer, Heidelberg (2000)"},{"unstructured":"Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2001)","key":"6_CR51"},{"key":"6_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-45873-5_32","volume-title":"Hybrid Systems: Computation and Control","author":"T. Stauner","year":"2002","unstructured":"Stauner, T.: Discrete-time refinement of hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 407\u2013420. Springer, Heidelberg (2002)"},{"issue":"4","key":"6_CR53","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","author":"C. Tomlin","year":"1998","unstructured":"Tomlin, C., Pappas, G.J., Sastry, S.S.: Conflict resolution for air traffic management: A case study in multi-agent hybrid systems. IEEE Transactions on Automatic Control\u00a043(4), 509\u2013521 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"doi-asserted-by":"crossref","unstructured":"Wende, D.: Fahrdynamik des Schienenverkehrs. Teubner (2003)","key":"6_CR54","DOI":"10.1007\/978-3-322-82961-0"},{"unstructured":"Yakubovich, V.: S-procedure in nonlinear control theory. Vestnik Leningrad University, pp. 62\u201371 (1971)","key":"6_CR55"},{"key":"6_CR56","volume-title":"Duration Calculus: A Formal Approach to Real-Time Systems","author":"C. Zhou","year":"2004","unstructured":"Zhou, C., Hansen, M.: Duration Calculus: A Formal Approach to Real-Time Systems. Springer, Heidelberg (2004)"},{"issue":"5","key":"6_CR57","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C., Ravn, A.P.: A calculus of durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Hybrid Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75221-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:30:56Z","timestamp":1684020656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75221-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752202"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75221-9_6","relation":{},"subject":[]}}