{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:15:21Z","timestamp":1771042521073,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540667124","type":"print"},{"value":"9783540468523","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46852-8_45","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T07:54:28Z","timestamp":1187164468000},"page":"645-660","source":"Crossref","is-referenced-by-count":29,"title":["Timed Sequence Diagrams and Tool-Based Analysis \u2014 A Case Study"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Firley","sequence":"first","affiliation":[]},{"given":"Michaela","family":"Huhn","sequence":"additional","affiliation":[]},{"given":"Karsten","family":"Diethers","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Gehrke","sequence":"additional","affiliation":[]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"45_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"45_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":"Rajeev Alur, Gerard J. Holzmann, and Doron Peled. An analyzer for Message Sequence Charts. In Tiziana Margaria and Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996), volume 1055 of LNCS, pages 35\u201348. Springer-Verlag, 1996."},{"key":"45_CR3","unstructured":"Grady Booch, james Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999."},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Werner Damm and David Harel. LSCs: Breathing life into Message Sequence Charts. In 3rd IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems, (FMOODS\u201999), pages 293\u2013312. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"45_CR5","unstructured":"Bruce P. Douglass. Real-Time UML. Addison-Wesley, 1998."},{"key":"45_CR6","unstructured":"Vincent Encontre. Modeling and implementing correct, scalable and efficient real-time applications with ObjectGEODE. 1rst Quarter Edition of Real-Time Magazine, 1996."},{"key":"45_CR7","series-title":"Lect Notes Comput Sci","first-page":"385","volume-title":"8th International Conference on Computer Aided Verification","author":"G. J. Holzmann","year":"1996","unstructured":"Gerard J. Holzmann and Doron Peled. The state of SPIN. In 8th International Conference on Computer Aided Verification, volume 1102 of LNCS, pages 385\u2013389, New Brunswick, NJ, USA, 1996. Springer Verlag."},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Klaus Havelund, Arne Skou, Kim G. Larsen, and Kristian Lund. Formal modelling and analysis of an audio\/video protocol: An industrial case study using UPPAAL. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 2\u201313, 1997.","DOI":"10.1109\/REAL.1997.641264"},{"key":"45_CR9","series-title":"Lect Notes Comput Sci","first-page":"287","volume-title":"UML\u2019 98","author":"A. Lanusse","year":"1998","unstructured":"Agn\u00e8s Lanusse, S\u00e9bastian G\u00e9rard, and Francois Terrier. Real-time modelling with UML: The ACCORD approach. In UML\u2019 98, volume 1618 of LNCS, pages 287\u2013296. Springer-Verlag, 1998."},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Stefan Leue and Gerard Holzmann. v-Promela: A visual, object-oriented language for SPIN. In Proc. of the 2nd IEEE Intern. Symp. on Object-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, 1999.","DOI":"10.1109\/ISORC.1999.776345"},{"key":"45_CR11","series-title":"Lect Notes Comput Sci","first-page":"575","volume-title":"Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems","author":"K. G. Larsen","year":"1995","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. Diagnostic model-checking for real-time systems. In Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, volume 1066 of LNCS, pages 575\u2013586. Springer-Verlag, 1995."},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a nutshell. Intern. Journal on Software Tools for Technology Transfer, 1(1+2), 1997.","DOI":"10.1007\/s100090050010"},{"key":"45_CR13","unstructured":"Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, 1994."},{"key":"45_CR14","series-title":"Lect Notes Comput Sci","first-page":"225","volume-title":"UML\u2019 98","author":"J. Seemann","year":"1998","unstructured":"J. Seemann and J. Wolff von Gudenberg. Extension of UML Sequence Diagrams for real-time systems. In UML\u2019 98, volume 1618 of LNCS, pages 225\u2013233. Springer-Verlag, 1998."}],"container-title":["Lecture Notes in Computer Science","\u00abUML\u00bb\u201999 \u2014 The Unified Modeling Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46852-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T02:15:11Z","timestamp":1556763311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46852-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667124","9783540468523"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-46852-8_45","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}