{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:05:26Z","timestamp":1761487526481},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T00:00:00Z","timestamp":1137974400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s10009-005-0211-z","type":"journal-article","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T09:40:43Z","timestamp":1138009243000},"page":"167-176","source":"Crossref","is-referenced-by-count":25,"title":["The HybridUML profile for UML 2.0"],"prefix":"10.1007","volume":"8","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","published-online":{"date-parts":[[2006,1,23]]},"reference":[{"key":"211_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comp. Sci. 138, 3\u201334 (1995)","journal-title":"Theor. Comp. Sci."},{"key":"211_CR2","first-page":"14","volume":"2211","author":"R. Alur","year":"2001","unstructured":"Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivan\u010di\u0107, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Proceedings of the 1st Workshop on Embedded Software (EMSOFT), LNCS 2211, pp. 14\u201331 (2001)","journal-title":"LNCS"},{"issue":"1","key":"211_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/JPROC.2002.805817","volume":"91","author":"R. Alur","year":"2001","unstructured":"Alur, R., Dang, T., Esposito, J., Hur, Y., Ivan\u010di\u0107, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling and analysis of embedded systems. Proceedings of the IEEE 91(1), 11\u201328 (January 2003)","journal-title":"Proceedings of the IEEE"},{"key":"211_CR4","first-page":"33","volume":"2034","author":"R. Alur","year":"1998","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, LNCS 2034, pp. 33\u201348 (2001)","journal-title":"LNCS"},{"key":"211_CR5","first-page":"145","volume":"3147","author":"K. Berkenk\u00f6tter","year":"2004","unstructured":"Berkenk\u00f6tter, K., Bisanz, S., Hannemann, U., Peleska, J.: Executable HybridUML and its Application to Train Control Systems. In: Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 145\u2013173 (September 2004)","journal-title":"LNCS"},{"key":"211_CR6","unstructured":"Berkenk\u00f6tter, K.: Using UML 2.0 in real-time development\u2013 a critical review. SVERTS Workshop at the \u3008\u3008UML\u3009\u3009 2003 Conference (October 2003). http:\/\/www-verimag.imag.fr\/EVENTS\/2003\/SVERTS\/"},{"key":"211_CR7","unstructured":"Bisanz, S., Ziemann, P., Lindow, A.: Integrated Specification, Validation and Verification with HybridUML and OCL applied to the BART Case Study. In: FORMS\/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 191\u2013203, Braunschweig (December 2004)"},{"key":"211_CR8","first-page":"186","volume":"1536","author":"W. Damm","year":"1998","unstructured":"Damm, W., Josko, B., Hungar, H., Pnueli, A.: A compositional real-time semantics of STATEMATE designs. LNCS 1536, pp. 186\u2013238 (1998)","journal-title":"LNCS"},{"key":"211_CR9","unstructured":"Ericsson, IBM, FOKUS, Motorola, Rational, Softeam, and Telelogic. UML Testing Profile (Draft Adopted Specification) (July 2003)"},{"key":"211_CR10","doi-asserted-by":"crossref","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 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"211_CR11","unstructured":"Hamer, U., Peleska, J.: Z Applied to the A330\/340 CIDS Cabin Communication System. In: Hinchey, M., Bowen, J. (eds.), Applications of Formal Methods, pp. 253\u2013284. Prentice Hall International (1995)"},{"key":"211_CR12","unstructured":"Jacobson, I., Rumbaugh, J., Booch, G.: The Unified Modeling Language\u2014Reference Manual. Addison-Wesley (1999)"},{"key":"211_CR13","unstructured":"OMG: UML Profile for Schedulability, Performance, and Time Specification, March 2002. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-03-02"},{"key":"211_CR14","unstructured":"OMG: Unified Modeling Language Specification (Action Semantics) (January 2002)"},{"key":"211_CR15","unstructured":"OMG: UML 2.0 Infrastructure Specification, OMG Adopted Specification. http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/03-09-15.pdf (September 2003)"},{"key":"211_CR16","unstructured":"OMG: UML 2.0 Superstructure Specification, OMG Adopted Specification. http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ptc\/03-08-02.pdf (August 2003)"},{"key":"211_CR17","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall International (1997)"},{"key":"211_CR18","doi-asserted-by":"crossref","unstructured":"Selic, B.: Using UML for modeling complex real-time systems. In: Languages, Compilers, and Tools for Embedded Systems, ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 1998, Proceedings, LNCS 1474, pp. 250\u2013260 (1998)","DOI":"10.1007\/BFb0057795"},{"key":"211_CR19","doi-asserted-by":"crossref","unstructured":"Winter, V.L., Bhattacharya, S.: High Integrity Software. Kluwer Academic Publishers Press (2001)","DOI":"10.1007\/978-1-4615-1391-9"},{"key":"211_CR20","doi-asserted-by":"crossref","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 (1993)","DOI":"10.1007\/3-540-57318-6_23"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-005-0211-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-005-0211-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-005-0211-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,12]],"date-time":"2020-04-12T06:53:05Z","timestamp":1586674385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-005-0211-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,23]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["211"],"URL":"https:\/\/doi.org\/10.1007\/s10009-005-0211-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,23]]}}}