{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:19:16Z","timestamp":1725567556497},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650706"},{"type":"electronic","value":"9783540496762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-540-49676-2_22","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T08:46:29Z","timestamp":1286181989000},"page":"328-346","source":"Crossref","is-referenced-by-count":5,"title":["Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO"],"prefix":"10.1007","author":[{"given":"Viktor","family":"Friesen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Nordwig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, et al. [18], pp. 209\u2013229","DOI":"10.1007\/3-540-57318-6_30"},{"key":"22_CR3","unstructured":"Andersson, M.: Object-OrientedM odelling and Simulation of Hybrid Systems. PhD thesis, Lund Institute of Technology, Denmark (December 1994)"},{"key":"22_CR4","unstructured":"Biersack, M., Friesen, V., J\u00e4hnichen, S., Klose, M., Simons, M.: Towards an architecture for simulation environments. In: Proc. Summer Computer Simulation Conference. The Society for Computer Simulation, SCSC 1995 (1995)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"B\u00fcssow, R., Weber, M.: A steam-boiler control specification with Statecharts and Z. In: Abrial, et al. [1], pp. 109\u2013128","DOI":"10.1007\/BFb0027233"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Chaochen, Z., Ravn, A.P., Hansen, M.R.: An extended duration calculus for hybrid real-time systems. In: Grossman, et al. [18], pp. 36\u201359","DOI":"10.1007\/3-540-57318-6_23"},{"key":"22_CR7","first-page":"465","volume-title":"Technology of Object-Oriented Languages and Systems: TOOLS 5","author":"R. Duke","year":"1991","unstructured":"Duke, R., King, P., Rose, G.A., Smith, G.: The Object-Z specification language. In: Korson, T., Vaishnavi, V., Meyer, B. (eds.) Technology of Object-Oriented Languages and Systems: TOOLS 5, pp. 465\u2013483. Prentice Hall, Englewood Cliffs (1991)"},{"key":"22_CR8","unstructured":"D\u00fcrr, E.H., Plat, N. (eds.): VDM\u2009+\u2009 \u2009+\u2009 Language Reference Manual. Afrodite (ESPRIT-III project number 6500) document AFRO\/CG\/ED\/LRM\/V11, Cap Volmac (August 1995)"},{"key":"22_CR9","unstructured":"Elmqvist, H., Cellier, F.E., Otter, M.: Object-oriented modeling of hybrid systems. In: ESS 1993, European Simulation Symposium, Delft, October 25\u201328 (1993)"},{"key":"22_CR10","unstructured":"Elmqvist, H., Mattsson, S.E.: Modelica \u2013 The next generation modeling language: An international design effort. In: Proc. 1st World Congress on System Simulation (WCSS 1997), Singapore (August 1997)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/BFb0024654","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"C. Fidge","year":"1993","unstructured":"Fidge, C.: Real-time refinement. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 314\u2013331. Springer, Heidelberg (1993)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"618","DOI":"10.1007\/3-540-58555-9_119","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"C. Fidge","year":"1994","unstructured":"Fidge, C.: Adding real time to formal program development. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 618\u2013638. Springer, Heidelberg (1994)"},{"key":"22_CR13","unstructured":"Friesen, V.: An exercise in hybrid system specification using an extension of Z. In: Bouajjani, A., Maler, O. (eds.) Second European Workshop on Real-Time and Hybrid Systems, pp. 311\u2013316 (1995)"},{"key":"22_CR14","unstructured":"Friesen, V.: Objektorientierte Spezifikation hybrider Systeme. PhDthesis, Technical University of Berlin (1997)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","author":"V. Friesen","year":"1998","unstructured":"Friesen, V.: A logic for the specification of continuous systems. In: Hybrid Systems: Computation and Control. LNCS. Springer, Heidelberg (1998)"},{"key":"22_CR16","volume-title":"19th International Conference on Software Engineering (ICSE-19)","author":"V. Friesen","year":"1997","unstructured":"Friesen, V., J\u00e4hnichen, S., Weber, M.: Specification of software controlling a discrete-continuous environment. In: 19th International Conference on Software Engineering (ICSE-19). IEEE Computer Society, Los Alamitos (1997)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Friesen, V., Nordwig, A., Weber, M.: Toward an object-oriented design methodology for hybrid systems. Submitted to Colloquium on Object Technology and System Re-Engineering, Oxford (1998)","DOI":"10.1533\/9781782420613.1"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems","year":"1993","unstructured":"Grossman, R., Nerode, A., Rischel, H., Ravn, A. (eds.): HS 1991 and HS 1992. LNCS, vol.\u00a0736. Springer, Heidelberg (1993)"},{"key":"22_CR19","unstructured":"Jifeng, H.: From CSP to hybrid systems. In: Roscoe, A.W. (ed.) A Classical Mind, Essays in Honour of C. A. R. Hoare. Prentice Hall International Series in Computer Science, pp. 171\u2013189 (1994)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/BFb0027185","volume-title":"Static Analysis","author":"M. Kloas","year":"1995","unstructured":"Kloas, M., Friesen, V., Simons, M.: Smile \u2013 A simulation environment for energy systems. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983, pp. 503\u2013506. Springer, Heidelberg (1995)"},{"key":"22_CR21","unstructured":"Kramer, D.: JDK 1.1.1 Documentation, Sun Microsystems, Inc., USA (1997)"},{"key":"22_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal Object-OrientedD evelopment","author":"K. Lano","year":"1995","unstructured":"Lano, K.: Formal Object-Oriented Development. Springer, London (1995)"},{"key":"22_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 446\u2013484. Springer, Heidelberg (1992)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: Verifying hybrid systems. In: Grossman, et al. [18], pp. 4\u201335","DOI":"10.1007\/3-540-57318-6_22"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: An approach to the description and analysis of hybrid systems. In: Grossman, et al. [18], pp. 149\u2013178","DOI":"10.1007\/3-540-57318-6_28"},{"key":"22_CR26","unstructured":"Rational Software Corporation. UnifiedMo deling Language, Version 1.1, September 1 (1997)"}],"container-title":["Lecture Notes in Computer Science","ZUM \u201998: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49676-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T02:01:34Z","timestamp":1559700094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49676-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650706","9783540496762"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49676-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}