{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:45:06Z","timestamp":1725558306062},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405245"},{"type":"electronic","value":"9783540450696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45069-6_9","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T17:11:46Z","timestamp":1277226706000},"page":"106-109","source":"Crossref","is-referenced-by-count":5,"title":["TRIM: A Tool for Triggered Message Sequence Charts"],"prefix":"10.1007","author":[{"given":"Bikram","family":"Sengupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Center-TRACON automation system (CTAS), http:\/\/ctas.arc.nasa.gov\/"},{"key":"9_CR2","unstructured":"Integrated Medical Systems Inc., http:\/\/www.lstat.com\/lstat.html"},{"key":"9_CR3","unstructured":"Message sequence charts (MSC). ITU-TS Recommendation Z.120 (1996)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R., B\u00f6rger, E., Langmaack, H.: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol.\u00a01165, Springer, Heidelberg (1996)"},{"issue":"2","key":"9_CR5","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools\u00a017(2), 70\u201377 (1996)","journal-title":"Software Concepts and Tools"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/BFb0054168","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1998","unstructured":"Ben-Abdallah, H., Leue, S.: MESA: Support for scenario-based design of concurrent systems. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 118\u2013135. Springer, Heidelberg (1998)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-60630-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Cleaveland","year":"1995","unstructured":"Cleaveland, R., Madelaine, E., Sims, S.: A front-end generator for verification tools. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 153\u2013173. Springer, Heidelberg (1995)"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM TOPLAS\u00a015(1), 36\u201372 (1993)","journal-title":"ACM TOPLAS"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0167-6423(01)00033-8","volume":"42","author":"R. Cleaveland","year":"2002","unstructured":"Cleaveland, R., Sims, S.: Generic tools for verifying concurrent systems. Science of Computer Programming\u00a042(1), 39\u201347 (2002)","journal-title":"Science of Computer Programming"},{"key":"9_CR10","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical report, University of Aarhus, Denmark (1981)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: The play-in\/ play-out approach. Software and System Modeling (SoSym) (2003)","DOI":"10.1145\/985072.985115"},{"key":"9_CR12","volume-title":"Algebraic theory of processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic theory of processes. The MIT Press, Cambridge (1988)"},{"key":"9_CR13","unstructured":"Sengupta, B., Cleaveland, R.: Refinement-based requirements elicitation using triggered message sequence charts. In: To appear in 2003 Intl. Requirements Engineering Conf. (2003)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Sengupta, B., Cleaveland, R.: Triggered message sequence charts. In: Proceedings of ACM SIGSOFT, FSE-10 (2002)","DOI":"10.1145\/587051.587077"},{"key":"9_CR15","unstructured":"Sengupta, B., Cleaveland, R.: Towards formal but flexible scenarios. In: 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, ICSE 2003 (2003)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/3-540-36577-X_44","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Kramer","year":"2003","unstructured":"Kramer, J., Uchitel, S., Magee, J.: LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vos.\u00a02619, pp. 597\u2013601. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45069-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T05:47:53Z","timestamp":1559195273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45069-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405245","9783540450696"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45069-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}