{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:30:05Z","timestamp":1768001405499,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418658","type":"print"},{"value":"9783540453192","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_35","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:50:47Z","timestamp":1184586647000},"page":"512-527","source":"Crossref","is-referenced-by-count":46,"title":["An Automata Based Interpretation of Live Sequence Charts"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Klose","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Wittke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"35_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Rex 1991: Real Time in Theory and 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 Theory and Practice, number 600 in LNCS. Springer Verlag, 1992."},{"key":"35_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-61042-1_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996)","author":"R. Alur","year":"1996","unstructured":"R. Alur, G. J. Holzmann, and D. Peled. An analyzer for Message Sequence Charts. In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996), volume 1055 of Lecture Notes in Computer Science, pages 35\u201348, Passau, Germany, 1996. Springer-Verlag."},{"key":"35_CR3","unstructured":"R. Alur. Timed Automata. In NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems, 1998."},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Tom Bienm\u00fcller, Udo Brockmeyer, and Werner Damm et. al. Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking. In Felix Redmill and Tom Anderson, editors, Towards System Safety-Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK, pages 150\u2013173. Safety-Critical Systems Club, Springer-Verlag, 1999.","DOI":"10.1007\/978-1-4471-0823-8_10"},{"key":"35_CR5","unstructured":"W. Damm, G. D\u00f6hmen, and J. Klose. Secure Decentralized Control of Railway Crossings. In S. Gnesi and D. Latella, editors, Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems, 1999."},{"key":"35_CR6","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.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"35_CR7","unstructured":"W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 2001. to appear."},{"key":"35_CR8","unstructured":"Werner Damm and Jochen Klose. Verification of a Radio-based Signaling System Using the Statemate Verification Environment. Formal Methods in System Design, 2001. to appear."},{"key":"35_CR9","unstructured":"Konrad Feyerabend. Realtime Symbolic Timing Diagrams. Technical report, Carl von Ossietzky Universit\u00e4t Oldenburg, 1996."},{"key":"35_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-63010-4_11","volume-title":"Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrentand Distributed Software, ARTS\u201997","author":"K. Feyerabend","year":"1997","unstructured":"Konrad Feyerabend and Bernhard Josko. A visual formalism for real time requirement specifications. In Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrentand Distributed Software, ARTS\u201997, Lecture Notes in Computer Science 1231, pages 156\u2013168, 1997."},{"key":"35_CR11","volume-title":"Modeling Reactive Systems with Statecharts: The STATEMATE Approach","author":"D. Harel","year":"1996","unstructured":"David Harel and Michal Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. Part No. D-1100-43. i-Logix Inc., Three Riverside Drive, Andover, MA 01810, June 1996."},{"key":"35_CR12","volume-title":"ITU-T Annex B to Recommendation Z.120 Formal Semantics of Message Sequence Charts","author":"ITU-T.","year":"1996","unstructured":"ITU-T. ITU-T Annex B to Recommendation Z.120 Formal Semantics of Message Sequence Charts. ITU-T, Geneva, 1996."},{"key":"35_CR13","volume-title":"ITU-T Recommendation Z.120: Message Sequence Chart (MSC)","author":"ITU-T.","year":"1996","unstructured":"ITU-T. ITU-T Recommendation Z.120: Message Sequence Chart (MSC). ITU-T, Geneva, October 1996."},{"key":"35_CR14","unstructured":"Ingolf Kr\u00fcger. Towards the Methodical Usage of Message Sequence Charts. In Katharina Spies and Bernhard Sch\u00e4tz, editors, Formale Beschreibungstechniken f\u00fcr verteilte Systeme (FBT99), 9. GI\/ITG Fachgespr\u00e4ch, pages 123\u2013134. Herbert Utz Verlag, June 1999."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:10:32Z","timestamp":1556665832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}