{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:00Z","timestamp":1725550860674},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_44","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:04Z","timestamp":1269882724000},"page":"597-601","source":"Crossref","is-referenced-by-count":20,"title":["LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Uchitel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Chatley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Magee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"44_CR1","unstructured":"ITU, Message Sequence Charts, International Telecommunications Union. Telecommunication Standardisation Sector, Recommendation Z.120, 1996."},{"key":"44_CR2","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"J. Magee and J. Kramer, Concurrency: State Models and Java Programs. New York: John Wiley & Sons Ltd., 1999."},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"R. Morin, On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory in International Conference on the Foundations of Software Science and Computation Structure (FOSSACS\u201901), Genova, 2001.","DOI":"10.1007\/3-540-45315-6_22"},{"key":"44_CR4","unstructured":"S. Uchitel, LTSA-MSC Tool. Department of Computing, Imperial College, 2001."},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"S. Uchitel, J. Kramer, and J. Magee, Detecting Implied Scenarios in Message Sequence Chart Specifications in Joint 8th European Software Engineering Conference (ESEC\u201901) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE\u201901), Vienna, 2001.","DOI":"10.1145\/503218.503220"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"S. Uchitel, J. Kramer, and J. Magee, Negative Scenarios for Implied Scenario Elicitation in 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE\u201902), Charleston, 2002.","DOI":"10.1145\/587068.587069"}],"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-36577-X_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:51:13Z","timestamp":1558968673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_44","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}