{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:19Z","timestamp":1725494059470},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_19","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T03:58:10Z","timestamp":1193716690000},"page":"245-260","source":"Crossref","is-referenced-by-count":9,"title":["Embedding a Dialect of SDL in PROMELA"],"prefix":"10.1007","author":[{"given":"Heikki","family":"Tuominen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"19_CR1","unstructured":"Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International, Inc., Englewood Cliffs, New Jersey, 1991."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Gerard J. Holzmann. Practical methods for the formal validation of SDL specifications. Computer Communications, 15(2):129\u2013134, March 1992.","DOI":"10.1016\/0140-3664(92)90132-X"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Gerard J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279\u2013295, May 1997.","DOI":"10.1109\/32.588521"},{"key":"19_CR4","unstructured":"Gerard J. Holzmann and Joanna Patti. Validating SDL specifications: an experiment. In Ed Brinksma, Giuseppe Scollo, and Chris A. Vissers, editors,Protocol Specification, Testing and Verification, IX, Proceddings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enchede, The Netherlands, 6-9 June, 1989, pages 317\u2013326, Amsterdam, 1990. North-Holland."},{"key":"19_CR5","unstructured":"Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate\/transition nets. Technical Report B16, Helsinki University of Technology, Digital Systems Laboratory, April 1997."},{"key":"19_CR6","unstructured":"Roberto Saracco, J.R.W. Smith, and Rick Reed. Telecommunications Systems Engineering using SDL. North-Holland, Amsterdam, 1989."}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T03:15:44Z","timestamp":1556939744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}