{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:08Z","timestamp":1725487088372},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_26","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T14:01:14Z","timestamp":1183384874000},"page":"421-437","source":"Crossref","is-referenced-by-count":1,"title":["Applying SDL Specifications and Tools to the Verification of Procedures"],"prefix":"10.1007","author":[{"given":"Wenhui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"26_CR1","unstructured":"F. Bakkeh\u00f8i. Assosiasjon av prosedyrelle aksjoner til XML baserte dokumenter. M.Sc. Thesis (in Norwegian). Institute of Informatics, University of Oslo. 2000."},{"key":"26_CR2","unstructured":"R. Br\u00e6k and A. Sarma (editors). Proceedings of the 7th SDL Forum (SDL\u201995), North-Holland, 1995."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch and Michael Schmitt. Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications. Proceedings of the 8th SDL Forum (SDL\u201997)245\u2013259, North-Holland, 1997.","DOI":"10.1016\/B978-044482816-3\/50017-4"},{"key":"26_CR4","unstructured":"J. Ellsberger, D. Hogrefe and A. Sarma. SDL-Formal Object-orientedLanguage for Communicating Systems. Prentice Hall Europe, 1997, ISBN 0-13-621384-7."},{"key":"26_CR5","first-page":"997","volume":"B","author":"E. A. Emerson","year":"1990","unstructured":"E. A. Emerson. Temporal and Modal Logic. Handbook of Theoretical Computer Science (B): 997\u20131072. 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"26_CR6","unstructured":"F. Handelsby, E. Ness and J. Teigen. OECD Halden Reactor Project: COPMA II On-Line Functional Specifications. Report: HWR-319, Institute for Energy Technology, Norway. 1992."},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1177\/154193129403800402","volume":"1","author":"D. G. Hoecker","year":"1994","unstructured":"D. G. Hoecker, K. M. Corker, E. M. Roth, M. H. Lipner and M. S. Bunzo. Man-Machine Design and Analysis System (MIDAS) Appliedto a Computer-Based Procedure-Aiding System. Proceedings of the Human Factors and Ergonomics Society 38th Annual Meeting 1: 195\u2013199. 1994.","journal-title":"Proceedings of the Human Factors and Ergonomics Society 38th Annual Meeting"},{"key":"26_CR8","volume-title":"Design and Validation of Computer Protocols","author":"G. J. Holzmann","year":"1991","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, New Jersey, 1991."},{"issue":"5","key":"26_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering 23(5): 279\u2013295. May 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"M. H. Lipner and S. P. Kerch. Operational Benefits of an Advanced Computerised Procedure System. 1994 IEEE Conference Record: Nuclear Science Symposium And Medical Imaging Conference:(1068\u20131072). 1995.","DOI":"10.1109\/NSSMIC.1994.474658"},{"key":"26_CR11","unstructured":"C. H. Nguyen. Modellering av operat\u00f8r prosedyrer. M.Sc. Thesis (in Norwegian). Institute of Informatics, University of Oslo. 2000."},{"key":"26_CR12","unstructured":"S. Nilsen and W. Zhang. XML Tagging Support in Procedure V&V. Institute for Energy Technology, Halden, Norway. Presented at the Workshop on Computerised Procedures, Halden, Norway. Nov. 30 and Dec. 1, 2000."},{"issue":"4","key":"26_CR13","first-page":"504","volume":"31","author":"L. Reynes","year":"1990","unstructured":"L. Reynes and G. Beltranda. A Computerised Control Room to Improve Nuclear Power Plant Operation and Safety. Nuclear Safety 31(4):504\u2013511. 1990.","journal-title":"Nuclear Safety"},{"key":"26_CR14","unstructured":"T. Sivertsen and H. Valisuo. Algebraic Specification andTheorem Proving usedin Formal Verification of Discrete Event Control Systems. Report: HWR-260, Institute for Energy Technology, Norway. 1989."},{"key":"26_CR15","unstructured":"K. Ylikoski and G. Dahll. Verification of Procedures. Report: HWR-318, Institute for Energy Technology, Norway. 1992."},{"key":"26_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-48234-2_16","volume-title":"Model Checking Operator Procedures","author":"W. Zhang","year":"1999","unstructured":"W. Zhang. Model Checking Operator Procedures. Proceedings of the 6th International SPIN Workshop on Practical Aspects of Model Checking. (Springer LNCS 1680: 200\u2013215). Toulouse, France. 1999."}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T21:36:31Z","timestamp":1556573791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}