{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:20Z","timestamp":1725484820706},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_9","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"64-78","source":"Crossref","is-referenced-by-count":1,"title":["A Transformation of SDL Specifications\u2014 A Step towards the Verification"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Ioustinova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"D. Bo\u0161na\u010dki, D. Dams, Integrating Real Time into Spin: A Prototype Implementation, S. Budkowski, A. Cavalli, E. Najm, editors, Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE\/PSTV\u201998), Kluwer, 1998.","DOI":"10.1007\/978-0-387-35394-4_26"},{"key":"9_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-46419-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems TACAS 2000","author":"D. Bo\u0161na\u010dki","year":"2000","unstructured":"D. Bo\u0161na\u010dki, D. Dams, L. Holenderski, N. Sidorova, Verifying SDL in Spin, Tools and Algorithms for the Construction and Analysis of Systems TACAS 2000, LNCS 1785, pp. 363\u2013377, Springer, 2000."},{"key":"9_CR3","unstructured":"E.M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, Abstract Interpretaion: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, In the 4th POPL, Los Angeles, CA, ACM, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"9_CR5","unstructured":"D. Dams, Abstract Interpretation and Partition Renement for Model Checking, PhD thesis, Eindhoven University of Technology, July 1996."},{"key":"9_CR6","unstructured":"U. Hinkel, Verification of SDL Specifications on the Basis of Stream Semantics, In Proc. of the 1st Workshop of the SDL Forum Society on SDL and MSC, Y. Lahav, A. Wolisz, J. Fischer, E. Holz (eds.), Humboldt-Universitaet zu Berlin."},{"key":"9_CR7","unstructured":"G. J. Holzmann, Design and Validation of Communication Protocols, Prentice Hall, 1991."},{"key":"9_CR8","unstructured":"G.J. Holzmann, J. Patti, Validating SDL Specification: an Experiment, In E. Brinksma, G. Scollo, Ch.A. Vissers, editors, Protocol Specification, Testing and Verification, Enchede, The Netherlands, 6\u20139 June 1989, pp. 317\u2013326, Amsterdam, North-Holland, 1990."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01384313","volume":"6","author":"C. Loiseaux","year":"1995","unstructured":"C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, S. Bensalem, Property Preserving Abstractions for the Verification of Concurrent Systems, In Formal Methods in System Design, Kluwer Academic Publ., 6, 1\u201336, 1995.","journal-title":"Formal Methods in System Design"},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BFb0054188","volume-title":"Formal Verification of SDL Systems at the Siemens Mobile Phone Department","author":"F. Regensburger","year":"1998","unstructured":"F. Regensburger, A. Barnard, Formal Verification of SDL Systems at the Siemens Mobile Phone Department, In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201998) 1998, LNCS 1384, pp. 439\u2013455, Springer, 1998."},{"key":"9_CR11","unstructured":"A. Olsen et al., System Engineering Using SDL-92, Elsevier Science, North-Holland, 1997."},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-48213-X_25","volume-title":"Verifying Large SDL-Specifications using Model Checking","author":"N. Sidorova","year":"2001","unstructured":"N. Sidorova, M. Steffen, Verifying Large SDL-Specifications using Model Checking, In Proc. of 10th International SDL-Forum, Copenhagen, Denmark, 2001, LNCS 2078, pp. 403\u2013420, Springer, 2001."},{"key":"9_CR13","unstructured":"Telelogic Malm\u00f6 AB. SDT 3.1 User Guide, SDT 3.1 Reference Manual, Telelogic, 1997."},{"key":"9_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/3-540-48234-2_19","volume-title":"Embedding a Dialect of SDL in PROMELA","author":"H. Tuominen","year":"1999","unstructured":"H. Tuominen, Embedding a Dialect of SDL in PROMELA, 6th Int. SPIN Workshop, LNCS 1680, pp. 245\u2013260, Springer, 1999."},{"key":"9_CR15","unstructured":"Verilog, ObjectGEODE SDL Simulator\u2014 Reference Manual, 1996."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:34:56Z","timestamp":1556444096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}