{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:29Z","timestamp":1725565889899},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27863-4_10","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:51:50Z","timestamp":1284655910000},"page":"145-173","source":"Crossref","is-referenced-by-count":29,"title":["Executable HybridUML and Its Application to Train Control Systems"],"prefix":"10.1007","author":[{"given":"Kirsten","family":"Berkenk\u00f6tter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Bisanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Hannemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45351-2_7","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 33\u201348. Springer, Heidelberg (2001)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-48092-7_14","volume-title":"Correct System Design","author":"T. Bienm\u00fcller","year":"1999","unstructured":"Bienm\u00fcller, T., Bohn, J., Brinkmann, H., Brockmeyer, U., Damm, W., Hungar, H., Jansen, P.: Verification of automotive control units. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 319\u2013341. Springer, Heidelberg (1999)"},{"unstructured":"Berkenk\u00f6tter, K., Bisanz, S., Hannemann, U., Peleska, J., Tsiolakis, A.: The Hybrid Low Level Language HL3. Technical Report 34, Technologie Zentrum Informatik TZI, Universit\u00e4t Bremen (July 2004) (to appear)","key":"10_CR3"},{"unstructured":"Berkenk\u00f6tter, K., Bisanz, S., Hannemann, U., Peleska, J.: The HybridUML Profile for UML 2.0. Technical Report 32, Technologie Zentrum Informatik TZI, Universit\u00e4t Bremen (June 2004)","key":"10_CR4"},{"unstructured":"Berkenk\u00f6tter, K., Bisanz, S., Hannemann, U., Peleska, J., Tsiolakis, A.: Automated Test Data Generation for Hybrid Systems","key":"10_CR5"},{"unstructured":"Priority Programme Software Specification \u2013 Integration of Software Specification Techniques for Applications in Engineering, \n                    \n                      http:\/\/tfs.cs.tuberlin.de\/projekte\/indspec\/SPP","key":"10_CR6"},{"unstructured":"Dipartimento di Ingegneria Aerospaziale Politecnico di Milano. RTAI homepage (2003), \n                    \n                      http:\/\/www.aero.polimi.it\/rtai\/about\/index.html","key":"10_CR7"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-49213-5_8","volume-title":"Compositionality: The Significant Difference","author":"W. Damm","year":"1998","unstructured":"Damm, W., Josko, B., Hungar, H., Pnueli, A.: A compositional real-time semantics of STATEMATE designs. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 186\u2013238. Springer, Heidelberg (1998)"},{"key":"10_CR9","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Concurrency Verification","author":"W.-P. Roever de","year":"2001","unstructured":"de Roever, W.-P., de Boer, F., Hannemann, U., Hooman, J., Lakhneche, Y., Poel, M., Zwiers, J.: Concurrency Verification, April 2001. Cambridge Tracts in Theoretical Computer Science, vol.\u00a054. Cambridge University Press, Cambridge (2001)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS)","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/JPROC.2002.805825","volume":"91","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE\u00a091, 84\u201399 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"10_CR12","first-page":"120","volume-title":"IEEE Real-Time Systems Symposium","author":"C. Heitmeyer","year":"1994","unstructured":"Heitmeyer, C., Lynch, N.: The generalized railroad crossing: A case study in formal verification of real-time systems. In: IEEE Real-Time Systems Symposium, pp. 120\u2013131. IEEE Computer Society, Los Alamitos (1994)"},{"issue":"11","key":"10_CR13","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1007\/s002360050177","volume":"36","author":"Y. Kesten","year":"2000","unstructured":"Kesten, Y., Manna, Z., Pnueli, A.: Verification of clocked and hybrid systems. Acta Informatica\u00a036(11), 836\u2013912 (2000)","journal-title":"Acta Informatica"},{"key":"10_CR14","series-title":"The Kluwer International Series in Engineering and Computer Science","volume-title":"Real-Time Systems \u2013 Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems \u2013 Design Principles for Distributed Embedded Applications. The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, Dordrecht (1997)"},{"unstructured":"FSM Labs. RT-Linux homepage, \n                    \n                      http:\/\/www.rtlinux.org\n                    \n                    \n                   (2004)","key":"10_CR15"},{"unstructured":"OMG. UML 2.0 Infrastructure Specification, OMG Adopted Specification (September 2003), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/03-09-15.pdf","key":"10_CR16"},{"unstructured":"OMG. UML 2.0 Superstructure Specification, OMG Adopted Specification (August 2003), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/03-08-02.pdf","key":"10_CR17"},{"key":"10_CR18","volume-title":"The Unified Modeling Language \u2013 Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language \u2013 Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1016\/S0304-3975(02)00547-9","volume":"290","author":"M. R\u00f6nnk\u00f6","year":"2003","unstructured":"R\u00f6nnk\u00f6, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science\u00a0290, 937\u2013973 (2003)","journal-title":"Theoretical Computer Science"},{"unstructured":"Verified Systems. RT-Tester 6.x \u2013 User Manual. Technical Report Verified-INT-014-2003, Verified Systems International GmbH, Bremen (2004)","key":"10_CR20"},{"key":"10_CR21","first-page":"36","volume-title":"Hybrid Systems","author":"C. Zhou","year":"1993","unstructured":"Zhou, C., Ravn, A.P., Hansen, M.R.: An extended duration calculus for hybrid real-time systems. In: Hybrid Systems, pp. 36\u201359. The Computer Society of the IEEE, Los Alamitos (1993) (extended abstract)"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:31:37Z","timestamp":1620012697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}