{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T19:10:10Z","timestamp":1743966610221,"version":"3.40.3"},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447144250"},{"type":"electronic","value":"9781447144267"}],"license":[{"start":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T00:00:00Z","timestamp":1344556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T00:00:00Z","timestamp":1344556800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4426-7_13","type":"book-chapter","created":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T15:52:35Z","timestamp":1344527555000},"page":"145-156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis Meets 3D-Visualization"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Krau\u00df","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Nonnengart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,8,10]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Sons K, Klein F, Rubinstein D, Byelozyorov S, Slusallek P. XML3D \u2013 Interactive 3D Graphics for the Web. In Web3D \u201810: Proceedings of the 15th International Conference on Web 3D Technology. Los Angeles: ACM; 2010. p. 175-184.","DOI":"10.1145\/1836049.1836076"},{"key":"13_CR2","unstructured":"XML3D.ORG - The official XML3D website. [Online]. Available from: xml3d.org."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Henzinger TA. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Grossman RL, Nerode A, Ravn and H. AP, Rischel H, editors. Lecture Notes in Computer Science: Hybrid Systems.: Springer Verlag; 1993. p. 209-229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Henzinger TA. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science; 1996; Washington, DC,: IEEE Computer Society. p. 278.","DOI":"10.1109\/LICS.1996.561342"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Ho PH, Wong-Toi H. HYTECH: a model checker for hybrid systems. In International Journal on Software Tools for Technology Transfer (STTT); 1997: Springer Berlin\/Heidelberg. p. 110-122.","DOI":"10.1007\/s100090050008"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Frehse G. PHAVer: algorithmic verification of hybrid systems past HyTech. In Int. J. Softw. Tools Technol. Transf.; 2008; Berlin, Heidelberg: Springer-Verlag. p. 263\u2013279.","DOI":"10.1007\/s10009-007-0062-x"},{"key":"13_CR7","unstructured":"SmartFactory-KL. [Online]. Available from: smartfactory-kl.de."},{"key":"13_CR8","unstructured":"ISReal BMB\u00a0+\u00a0F Project. [Online]. Available from: www-ags.dfki.uni-sb.de\/~\u00a0klusch\/isreal\/."},{"key":"13_CR9","unstructured":"CINEMA 4D. [Online]. Available from: maxon.net\/products\/cinema-4d-studio\/who-should-use-it.html."},{"key":"13_CR10","unstructured":"Nonnengart A. A deductive model checking approach for hybrid systems. Research Report. Saarbr\u00fccken: Max-Planck-Institut f\u00fcr Informatik; 1999."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Nonnengart A. Hybrid systems verification by location elimination. In Lynch N, Krogh BH, editors. Proceedings of the 3rd International Workshop HSCC 2000; 2000: Springer Verlag. p. 352-365.","DOI":"10.1007\/3-540-46430-1_30"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger TA, Ho PH. Automatic Symbolic Verification of Embedded Systems. In IEEE Transactions on Software Engineering; 1996. p. 181-201.","DOI":"10.1109\/32.489079"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Rusu V. Reachability verification for hybrid automata in. In Proceedings of the First International Workshop on Hybrid Systems: Computation and Control, Lecture Notes in Computer Science; 1998: Springer Verlag. p. 190-204.","DOI":"10.1007\/3-540-64358-3_40"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Ho PH, Wong-Toi H. HYTECH: a model checker for hybrid systems. International Journal on Software Tools for Technology Transfer (STTT). 1997; 1(1): p. 110-122.","DOI":"10.1007\/s100090050008"},{"key":"13_CR15","unstructured":"Simulink : Simulation und Model-Based Design. [Online]. Available from: mathworks.de\/products\/simulink\/."},{"key":"13_CR16","unstructured":"d\/dt. [Online]. Available from: www-verimag.imag.fr\/~\u00a0tdang\/Tool-ddt\/ddt.html."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Frehse G. PHAVer: algorithmic verification of hybrid systems past HyTech. Int. J. Softw. Tools Technol. Transf. 2008 May; 10(3): p. 263-279.","DOI":"10.1007\/s10009-007-0062-x"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Larsen KG, Pettersson P, Yi W. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT). 1997; 1: p. 134-152.","DOI":"10.1007\/s100090050010"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Milner R, Parrow J, Walker D. A calculus of mobile processes, I. Inf. Comput. 1992 sep; 100: p. 1\u201340.","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"13_CR20","unstructured":"Radio-frequency identification - Wikipedia, the free encyclopedia. [Online]. Available from: http:\/\/en.wikipedia.org\/wiki\/Radio-frequency_identification."}],"container-title":["Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4426-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T18:53:30Z","timestamp":1743965610000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4426-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,10]]},"ISBN":["9781447144250","9781447144267"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4426-7_13","relation":{},"subject":[],"published":{"date-parts":[[2012,8,10]]},"assertion":[{"value":"10 August 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}