{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T20:40:02Z","timestamp":1736282402631,"version":"3.32.0"},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402079962"},{"type":"electronic","value":"9781402079979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-7997-4_4","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T18:51:14Z","timestamp":1140202274000},"page":"89-129","source":"Crossref","is-referenced-by-count":0,"title":["Environmental Modeling with UML"],"prefix":"10.1007","author":[{"given":"Adriaan","family":"De Groot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"4_CR1","first-page":"621","volume":"6","author":"A. Groot de","year":"2000","unstructured":"A. de Groot and J. Hooman. Analyzing the light control system with PVS. Journal of Universal Computer Science, 6(7):621\u2013649, August 2000.","journal-title":"Journal of Universal Computer Science"},{"key":"4_CR2","unstructured":"W. Damm, B. Josko, A. Votintseva, and A. Pnueli. A formal sematics for a UML kernel language. Technical Report IST\/33522\/WP1.1\/D1.1.2-Part1, Verimag, January 2003. Available via http:\/\/www-omega.imag.fr\/ ."},{"key":"4_CR3","unstructured":"B. P. Douglass. ROPES: rapid object-oriented process for embedded systems, 1999. Available via: http:\/\/www.ilogix.com\/quick-links\/whitepapers\/index.cfm ."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"H. Jiang, D. Lin, and X. Xie. Embedding UML and type theory to formalize the process of requirement engineering. In 36th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-Asia\u201900), pages 32\u201339, 2000. Available via http:\/\/www.computer.org\/ .","DOI":"10.1109\/TOOLS.2000.885895"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"K. G. Larsen, P. Pettersson, and W. Yi. Model-checking for realtime systems. In Proc. of Fundamentals of Computation Theory, number 965 in Lecture Notes in Computer Science, pages 62\u201388, August 1995.","DOI":"10.1007\/3-540-60249-6_41"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg. Hybrid I\/O automata. In Hybrid System III, number 1066 in Lecture Notes in Computer Science, pages 496\u2013510. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020971"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Owre, J. Rushby, and N. Shankar. PVS: A prototype verification system. In 11th Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 748\u2013752. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55602-8_217"},{"key":"4_CR8","unstructured":"T. Quatrani. Visual Modeling with Rational Rose and UML. Addison Wesley, 1998."},{"key":"4_CR9","unstructured":"J. Rushby. Formal methods and the certification of critical systems. Technical Report CSL-93-7, SRI International, November 1993."},{"key":"4_CR10","unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, 1992."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"M. von der Beeck. A comparison of statecharts variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, number 863 in Lecture Notes in Computer Science, pages 128\u2013148. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_163"}],"container-title":["Formal Methods for Embedded Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7997-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T20:12:35Z","timestamp":1736280755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7997-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402079962","9781402079979"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7997-4_4","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}