{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:29:16Z","timestamp":1755217756175,"version":"3.43.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1023\/a:1016001318739","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T20:59:24Z","timestamp":1041109164000},"page":"5-38","source":"Crossref","is-referenced-by-count":4,"title":["Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts"],"prefix":"10.1007","volume":"21","author":[{"given":"Radu","family":"Grosu","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Stauner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5087918_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, \u201cThe algorithmic analysis of hybrid systems,\u201d Theoretical Computer Science, Vol. 138, pp. 3-34, 1995.","journal-title":"Theoretical Computer Science"},{"key":"5087918_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill, \u201cA theory of timed automata,\u201d Theoretical Computer Science, Vol. 126, pp. 183-235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"5087918_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger, \u201cModularity for timed and hybrid systems,\u201d in CONCUR 97: Concurrency Theory, LNCS, Vol. 1243, Springer-Verlag, Berlin, 1997.","DOI":"10.1007\/3-540-63141-0_6"},{"issue":"3","key":"5087918_CR4","first-page":"22","volume":"97","author":"J.F. Broenink","year":"1997","unstructured":"J.F. Broenink, \u201cModelling, simulation and analysis with 20-Sim,\u201d Journal A, the special issue on CACSD, Vol. 97, No. 3, pp. 22-25, 1997.","journal-title":"Journal A, the special issue on CACSD"},{"key":"5087918_CR5","series-title":"LNCS","volume-title":"Refinement of time","author":"M. Broy","year":"1997","unstructured":"M. Broy, \u201cRefinement of time,\u201d in ARTS'97, LNCS, Vol. 1231, Springer-Verlag, Berlin, 1997."},{"key":"5087918_CR6","series-title":"LNCS","volume-title":"Hybrid Systems","author":"Z. Chaochen","year":"1993","unstructured":"Z. Chaochen, A.P. Ravn, and M.R. Hansen, \u201cAn extended duration calculus for hybrid real-time systems,\u201d in Hybrid Systems, LNCS, Vol. 736, Springer-Verlag, Berlin, 1993."},{"key":"5087918_CR7","series-title":"Sigma Series in Pure Mathematics","volume-title":"General Topology","author":"R. Engelking","year":"1989","unstructured":"R. Engelking, General Topology, Vol. of Sigma Series in Pure Mathematics, Heldermann Verlag, Berlin, 1989."},{"key":"5087918_CR8","doi-asserted-by":"crossref","unstructured":"S. Engell and I. Hoffmann, \u201cModular hierarchical models of hybrid systems,\u201d in Proc. of the 35th IEEE Conference on Decision and Control (CDC), Kobe, 1996, pp. 142-143.","DOI":"10.1109\/CDC.1996.574274"},{"key":"5087918_CR9","unstructured":"G. F\u00e1bi\u00e1n, D.A. van Beek, and J.E. Rooda, \u201cIntegration of the discrete and the continuous behaviour in the hybrid chi simulator,\u201d in 1998 European Simulation Multiconference, Manchester, 1998, pp. 252-257."},{"key":"5087918_CR10","unstructured":"R. Grosu, M. Broy, B. Selic, and Gh. Stef\u0103nescu, \u201cTowards a calculus for UML-RT specifications,\u201d in 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Technical Report TUM-I9820, Technische Universit\u00e4t M\u00fcnchen, 1998."},{"key":"5087918_CR11","volume-title":"Behavioral Specifications of Businesses and Systems","author":"R. Grosu","year":"1999","unstructured":"R. Grosu, M. Broy, B. Selic, and Gh. Stef\u0103nescu, \u201cWhat is behind UML-RT?\u201d in Behavioral Specifications of Businesses and Systems, Kluwer Academic Publishers, Dordrecht, 1999."},{"key":"5087918_CR12","volume-title":"Visual description of hybrid systems","author":"R. Grosu","year":"1998","unstructured":"R. Grosu and T. Stauner, \u201cVisual description of hybrid systems,\u201d in Workshop On Real Time Programming (WRTP'98), Elsevier Science Ltd., New York, 1998."},{"key":"5087918_CR13","series-title":"LNCS","volume-title":"Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98)","author":"R. Grosu","year":"1998","unstructured":"R. Grosu, T. Stauner, and M. Broy, \u201cAmodular visual model for hybrid systems,\u201d in Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS, Vol. 1486, Springer-Verlag, Berlin, 1998."},{"key":"5087918_CR14","unstructured":"R. Grosu, Gh. Stef\u0103nescu, and M. Broy, \u201cVisual formalisms revisited,\u201d in Proc. Int. Conf. on Application of Concurrency to System Design (CSD), IEEE, 1998."},{"key":"5087918_CR15","doi-asserted-by":"crossref","unstructured":"D. Harel, \u201cStatecharts: A visual formalism for complex systems,\u201d Science of Computer Programming, Vol. 8, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"5087918_CR16","series-title":"LNCS","volume-title":"Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Y. Kesten","year":"1992","unstructured":"Y. Kesten and A. Pnueli, \u201cTimed and hybrid statecharts and their textual representation,\u201d in Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS, Vol. 571, Springer-Verlag, Berlin, 1992."},{"key":"5087918_CR17","first-page":"503","volume":"18","author":"M. Kloas","year":"1995","unstructured":"M. Kloas, V. Friesen, and M. Simons, \u201cSmile-a simulation environment for energy systems,\u201d in Proc. of the 5th International IMACS-Symposium on Systems Analysis and Simulation (SAS'95), Systems Analysis Modelling Simulation, Vol. 18\/19, Gordon and Breach Publishers, 1995, pp. 503-506.","journal-title":"Systems Analysis Modelling Simulation"},{"key":"5087918_CR18","series-title":"LNCS","volume-title":"Hybrid Systems","author":"L. Lamport","year":"1993","unstructured":"L. Lamport, \u201cHybrid systems in TLA+,\u201d in R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel (Eds.), Hybrid Systems, LNCS, Vol. 736, Springer-Verlag, Berlin, 1993."},{"key":"5087918_CR19","series-title":"LNCS","volume-title":"Hybrid Systems III","author":"N.A. Lynch","year":"1996","unstructured":"N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg, \u201cHybrid I\/O automata,\u201d in Hybrid Systems III, LNCS, Vol. 1066, Springer-Verlag, Berlin, 1996."},{"key":"5087918_CR20","series-title":"LNCS","volume-title":"Hybrid Systems Computation and Control (HSCC'99)","author":"P.J. Mosterman","year":"1999","unstructured":"P.J. Mosterman, \u201cAn overview of hybrid simulation phenomena and their support by simulation packages,\u201d in Hybrid Systems Computation and Control (HSCC'99), LNCS, Vol. 1569, Springer-Verlag, Berlin, 1999."},{"issue":"1","key":"5087918_CR21","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT071","volume":"6","author":"O. M\u00fcller","year":"2000","unstructured":"O. M\u00fcller and T. Stauner, \u201cModelling and verification using linear hybrid automata-a case study,\u201d Mathematical and Computer Modelling of Dynamical Systems, Vol. 6, No. 1, pp. 71-89, 2000.","journal-title":"Mathematical and Computer Modelling of Dynamical Systems"},{"key":"5087918_CR22","series-title":"LNCS","volume-title":"Proc. of FTRTFT'94","author":"A. Pnueli","year":"1994","unstructured":"A. Pnueli, \u201cDevelopment of hybrid systems,\u201d in Proc. of FTRTFT'94, LNCS, Vol. 863, Springer Verlag, Berlin, 1994."},{"key":"5087918_CR23","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"B. Selic, G. Gullekson, and P.T. Ward, Real-Time Object-Oriented Modeling, John Wiley and Sons Ltd., Chichester, 1994."},{"key":"5087918_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0374-9","volume-title":"Mathematical Control Theory","author":"E.D. Sontag","year":"1990","unstructured":"E.D. Sontag, Mathematical Control Theory, Springer Verlag, Berlin, 1990."},{"key":"5087918_CR25","series-title":"LNCS","volume-title":"Proc. Hybrid and Real-Time Systems (HART'97)","author":"T. Stauner","year":"1997","unstructured":"T. Stauner, O. M\u00fcller, and M. Fuchs, \u201cUsing HyTech to verify an automotive control system,\u201d in Proc. Hybrid and Real-Time Systems (HART'97), LNCS, Vol. 1201, Springer-Verlag, Berlin, 1997."},{"key":"5087918_CR26","unstructured":"Gh. Stef\u0103nescu, \u201cAlgebra of flownomials,\u201d Technical Report TUM-I9437, Technische Universit\u00e4t M\u00fcnchen, 1994."},{"key":"5087918_CR27","unstructured":"The MathWorks Inc. Stateflow. http:\/\/www.mathworks.com\/products\/stateflow\/, 1998."},{"key":"5087918_CR28","doi-asserted-by":"crossref","unstructured":"R. Wieting, \u201cHybrid high-level nets,\u201d in Proceedings of the 1996 Winter Simulation Conference, Coronado, California, USA\/Charnes, 1996, pp. 848-855.","DOI":"10.1145\/256562.256828"},{"issue":"20","key":"5087918_CR29","first-page":"1281","volume":"972","author":"K. W\u00f6llhaf","year":"1996","unstructured":"K. W\u00f6llhaf, M. Fritz, C. Schulz, and S. Engell, \u201cBaSiP-batch process simulation with dynamically recon-figured process dynamics,\u201d in Proc. of ESCAPE-6, Supplement to Comp. & Chem. Engineering, Vol. 972, No. 20, pp. 1281-1286, 1996.","journal-title":"Proc. of ESCAPE-6, Supplement to Comp. & Chem. Engineering"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016001318739.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016001318739\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016001318739.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T19:36:49Z","timestamp":1754422609000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016001318739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["5087918"],"URL":"https:\/\/doi.org\/10.1023\/a:1016001318739","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}