{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:30:27Z","timestamp":1742394627633},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_24","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"317-328","source":"Crossref","is-referenced-by-count":22,"title":["Scenario-Based Monitoring and Testing of Real-Time UML Models"],"prefix":"10.1007","author":[{"given":"Marc","family":"Lettrari","sequence":"first","affiliation":[]},{"given":"Jochen","family":"Klose","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the UML2000-Advancing the Standard","author":"A. Abdurazik","year":"2000","unstructured":"Aynur Abdurazik and Jeff Offutt. Using UML Collaboration Diagrams for Static Checking and Test Generation. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proceedings of the UML2000-Advancing the Standard, number 1939 in LNCS. Springer Verlag, 2000."},{"key":"24_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Rex 1991: Real Time in Theoryand Practice","author":"R. Alur","year":"1992","unstructured":"R. Alur and D. Dill. The Theory of Timed Automata. In de Bakker, Henzinger, and de Roever, editors, Proceedings of Rex 1991: Real Time in Theoryand Practice, number 600 in LNCS. Springer Verlag, 1992."},{"unstructured":"Paulo J. F. Carreira and Miguel E. F. Costa. Automatically verifying an objectoriented specification of the steam-boiler system. In Stefania Gnesi, Ina Schieferdecker, and Axel Rennoch, editors, 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. GMD, 2000.","key":"24_CR3"},{"doi-asserted-by":"crossref","unstructured":"W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In FMOODS\u201999 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.","key":"24_CR4","DOI":"10.1007\/978-0-387-35562-7_23"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45\u201380, July 2001.","journal-title":"Formal Methods in System Design"},{"unstructured":"Bruce P. Douglass. Doing Hard Time. Addison-Wesley, 1999.","key":"24_CR6"},{"key":"24_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the UML2000-Advancing the Standard","author":"P. Graubmann","year":"2000","unstructured":"Peter Graubmann and Ekkart Rudolph. HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proceedings of the UML2000-Advancing the Standard, number 1939 in LNCS. Springer Verlag, 2000."},{"unstructured":"I. Jacobsen, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.","key":"24_CR8"},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of TACAS 2001","author":"J. Klose","year":"2001","unstructured":"Jochen Klose and Hartmut Wittke. An Automata Based Representation of Live Sequence Charts. In Tiziana Margaria and Wang Yi, editors, Proceedings of TACAS 2001, number 2031 in LNCS. Springer Verlag, 2001."},{"key":"24_CR10","series-title":"Lect Notes Comput Sci","volume-title":"3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems","author":"D. Latella","year":"1999","unstructured":"Diego Latella, Istvan Maijzik, and Mieke Massink. Towards a formal operational semantics of uml statechart diagrams. In 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems, Lecture Notes in Computer Science. Kluwer Academic Publishers, 1999."},{"key":"24_CR11","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201999-The Unified Modeling Language: Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"Johan Lilius and Ivan Porres Paltor. Formalising uml state machines for model checking. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language: Beyond the Standard, number 1723 in Lecture Notes in Computer Science. Springer-Verlag, 1999."},{"unstructured":"OMG. Unified Modeling Language Specification, Version 1.3. OMG, 1999. http:\/\/www.rational.com\/uml\/resources\/documentation .","key":"24_CR12"},{"doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Automata on Infinite Objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B. Elsevier, 1990.","key":"24_CR13","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:45:28Z","timestamp":1556739928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}