{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:15Z","timestamp":1725493575554},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008996"},{"type":"electronic","value":"9783540365785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36578-8_9","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T07:16:11Z","timestamp":1193469371000},"page":"118-134","source":"Crossref","is-referenced-by-count":0,"title":["Towards UML-Based Formal Specifications of Component-Based Real-Time Software"],"prefix":"10.1007","author":[{"given":"Vieri","family":"Del Bianco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Lavazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Occorso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science, n.126 (1994) 183\u2013235","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. Conference on Decision and Control, CDC\u201901. Orlando, IEEE Control Systems Society (2001)","DOI":"10.1109\/CDC.2001.980712"},{"key":"9_CR3","unstructured":"del Bianco, V., Lavazza, L., Mauri, M.: An application of the DESS modeling approach: The Car Speed Regulator, In Proc. SIVOOES 2001, Budapest (2001)"},{"key":"9_CR4","unstructured":"del Bianco, V., Lavazza, L., Mauri, M.: A classification of real-time specifications complexity, In Proc. SIVOOES 2001, Budapest (2001)"},{"key":"9_CR5","unstructured":"del Bianco, V., Lavazza, L., Mauri, M.: An introduction to the DESS approach to the specification of real-time software. CEFRIEL Technical Report RT01002 (2001)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"del Bianco, V., Lavazza, L., Mauri, M.: Model Checking UML Specifications of Real Time Software. The Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS02), Greenbelt (2002)","DOI":"10.1109\/ICECCS.2002.1181513"},{"key":"9_CR7","unstructured":"del Bianco, V., Lavazza, L., Mauri, M.: A Formalization of UML Statecharts for Real-Time Software Modeling. The 6th Biennial World Conference On Integrated Design Process Technology (IDPT 2002), \u201cTowards a rigorous UML\u201d session, Pasadena (2002)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Requirements-Level Semantics For UML Statecharts. Formal Methods for Open Object-Based Distributed Systems-FMOODS\u20192000, Stanford (2000)","DOI":"10.1007\/978-0-387-35520-7_6"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mandrioli, D., Morzenti A.: TRIO, a logic language for executable specifications of real-time systems. The Journal of Systems and Software, Vol. 12, n. 2. Elsevier Science (1990)","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"9_CR10","unstructured":"Heitmeyer C.L., Jeffords R.D., Labaw B.G., Comparing different approaches for Specifying and verifying Real-Time Systems, in Proc. 10th IEEE Workshop on Real-Time Operating Systems and Software, New York (1993) 122\u2013129"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Kesten, Y., Pnueli, A.: Timed and Hybrid Statecharts and their Textual Representation. In Formal Techniques in Real-Time and Fault-Tolerant Systems 2nd International Symposium (1992)","DOI":"10.1007\/3-540-55092-5_32"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Lavazza, L., Quaroni, G., Venturelli, M.: Combining UML and formal notations for modelling real-time systems. In: Gruhn, V. (ed.): Proceedings of ESEC\/FSE 2001, Vienna, ACM Press (2001)","DOI":"10.1145\/503209.503236"},{"key":"9_CR13","unstructured":"Mauri, M.: Estensione di UML per la specifica e la verifica delle propriet\u00e0 di sistemi Real Time. Politecnico di Milano, Thesis (in Italian), http:\/\/www.polimi.it (2001)"},{"key":"9_CR14","unstructured":"OMG: Unified Modeling Language Specification, Version 1.4. http:\/\/www.omg.org (2001)"},{"key":"9_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"What is in a step: On the semantics of statecharts","author":"A. Pnueli","year":"1991","unstructured":"Pnueli A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito T., Meyer, A. R. (eds.): Intl. Conf. TACS\u2019 91: Theoretical Aspects of Computer Software. Lecture Notes in Computer Science, Vol. 526. Springer-Verlag, Berlin Heidelberg New York (1991) 244\u2013264"},{"key":"9_CR16","unstructured":"Rational Software Corporation: Modeling Language Guide, Rational Rose\u00ae RealTime, http:\/\/www.rational.com (2002)"},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Analysing UML Active Classes and Associated State Machines-A Lightweight Formal Approach","author":"G. Reggio","year":"2000","unstructured":"Reggio, G., Astesiano, E., Choppy C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines-A Lightweight Formal Approach. In Maibaum, T. (ed.): Proc. FASE 2000-Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, Vol. 1783. Springer-Verlag, Berlin Heidelberg New York (2000)"},{"key":"9_CR18","unstructured":"Selic, B., Gullekson, G., Ward, P. T.: Real-Time Object-Oriented Modeling. Wiley (1994)"},{"key":"9_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Modeling real-time systems-challenges and work directions","author":"J. Sifakis","year":"2001","unstructured":"Sifakis, J.: Modeling real-time systems-challenges and work directions. EMSOFT01, Tahoe City, October 2001. Lecture Notes in Computer Science, Vol. 2211. Springer-Verlag, Berlin Heidelberg New York (2001)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Yovine, S.: Kronos, A Verification Tool for Real-Time Systems, Kronos User\u2019s Manual Release 2.2. Springer International Journal of Software Tools for Technology Transfer, Vol. 1 October (1997)","DOI":"10.1007\/s100090050009"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36578-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:08:01Z","timestamp":1556935681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36578-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008996","9783540365785"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36578-8_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}