{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:26:22Z","timestamp":1725593182015},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443322"},{"type":"electronic","value":"9783642557132"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-3-642-55713-2_4","type":"book-chapter","created":{"date-parts":[[2011,6,23]],"date-time":"2011-06-23T11:24:29Z","timestamp":1308828269000},"page":"31-40","source":"Crossref","is-referenced-by-count":0,"title":["Objektorientierte Modellierung von Echtzeitsystemen f\u00fcr die Automatisierungstechnik mit \u00dcberpr\u00fcfung von Zeitbedingungen im Modell"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Licht","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana","family":"Djambova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Fengler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Unified Modeling Language Notation Guide, Version 1.4. Rational Software Corporation, http:\/\/www.rational.com, 2002"},{"key":"4_CR2","volume-title":"Das UML-Benutzerhandbuch","author":"G Booch","year":"1999","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: Das UML-Benutzerhandbuch, Addison-Wesley, 1999"},{"key":"4_CR3","first-page":"582","volume-title":"Automatisierungstechnische Praxis","author":"ML Chouikha","year":"1998","unstructured":"Chouikha, ML, Janhsen, A., Schnieder, E.: Klassif\u00edkation und Bewertung von Beschreibungsmitteln f\u00fcr die Automatisierungstechnik. Automatisierungstechnische Praxis - at , 12 \/ 1998, S. 582\u2013591"},{"key":"4_CR4","volume-title":"Real-Time UML: Developing efficient objects for embedded systems","author":"PP Douglass","year":"1998","unstructured":"Douglass,P. P.: Real-Time UML: Developing efficient objects for embedded systems. Addison-Wesley, 1998."},{"key":"4_CR5","volume-title":"Using UML for Complex Real-Time Systems, A white paper","author":"B Selic","year":"1998","unstructured":"Selic, B.; Rumbaugh, J.: Using UML for Complex Real-Time Systems, A white paper, http:\/\/www.objectime.com\/otl\/technical\/umlrt.html, 1998"},{"key":"4_CR6","unstructured":"Response to the OMG RFP for Schedulability, Performance, and Time. http:\/\/cgi.omg.org\/cgi-bin\/doc?ad\/00-08-04, August 2000"},{"key":"4_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79905-1","volume-title":"Objektorientierte Modellierung von Automatisierungssystemen","author":"JU Kie\u00df","year":"1995","unstructured":"Kie\u00df, J.U.: Objektorientierte Modellierung von Automatisierungssystemen, Springer 1995"},{"key":"4_CR8","volume-title":"Proze\u00dfleittechnik","author":"M Polke","year":"1994","unstructured":"Polke, M.: Proze\u00dfleittechnik, Oldenbourg 1994"},{"key":"4_CR9","unstructured":"Destillationsanlage des Instituts f\u00fcr Automatisierungs- und Systemtechnik, TU-Ilmenau, http:\/\/www.as-plt-labor.tu-ilmenau.de, August 2002"},{"key":"4_CR10","first-page":"667","volume-title":"45. Internationales Wissenschaftliches Kolloquium","author":"V Duridanova","year":"2000","unstructured":"Duridanova, V., D\u00e4ne, B., N\u00fctzel, J., Fengler, W.: High-Level-Entwurfsmethodik f\u00fcr eingebettete mechatronische Echtzeitsysteme. In: 45. Internationales Wissenschaftliches Kolloquium. S. 667\u2013672, Ilmenau, 2000."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45314-8_8","volume-title":"Fundamental Approaches to Software Engineering (FASE \u201901)","author":"C Fischer","year":"2001","unstructured":"Fischer, C., Olderog E.-R., Wehrheim H.: A CSP View on UML-RT structure diagrams. In: Husmann, H. (Hrsg.): Fundamental Approaches to Software Engineering (FASE \u201901), 4th International Conference, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS), Genova, Italy, 2\u20136. April 2001, S. 91\u2013108, LNCS 2029, Springer Verlag 2001."},{"key":"4_CR12","first-page":"661","volume-title":"The Second International Conference on The Unified Modeling Language, Beyond the Standard (UML\u201999)","author":"X Li","year":"1999","unstructured":"Li, X.; Lilius, J.: Timing Analysis of UML Sequence Diagrams. In: France, R. (Eds.): The Second International Conference on The Unified Modeling Language, Beyond the Standard (UML\u201999), S.661\u2013674, LNCS 1723, Springer Verlag, 1999."},{"key":"4_CR13","first-page":"645","volume-title":"The Second International Conference on The Unified Modeling Language, Beyond the Standard (UML\u201999)","author":"T Firley","year":"1999","unstructured":"Firley, Th., Huhn, M., Diethers, K., Gehrke, Th., Goltz, U.: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. In: France, R .(Eds.): The Second International Conference on The Unified Modeling Language, Beyond the Standard (UML\u201999). S. 645\u2013660, LNCS 1723, Springer Verlag, 1999."},{"key":"4_CR14","first-page":"8","volume-title":"Timed Automata","author":"R Alur","year":"1999","unstructured":"Alur, R.: Timed Automata, 11th International Conference on Computer-Aided Verification. S. 8\u201322, Springer Verlag 1999"},{"key":"4_CR15","unstructured":"UPPALL, http:\/\/www.docs.uu.se\/docs\/rtmv\/uppaal\/, August 2002"},{"key":"4_CR16","volume-title":"Systementwurf von Echtzeitsystemen in der Automatisierung mit UML und Echtzeitautomaten","author":"W St\u00f6ckigt","year":"2002","unstructured":"St\u00f6ckigt, W.: Systementwurf von Echtzeitsystemen in der Automatisierung mit UML und Echtzeitautomaten, Studienjahresarbeit, TU-Ilmenau, 2002"}],"container-title":["Informatik aktuell","Sicherheit und Verf\u00fcgbarkeit in Echtzeit- und Automatisierungssystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55713-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T16:08:45Z","timestamp":1620144525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-55713-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443322","9783642557132"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55713-2_4","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2002]]}}}