{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:23Z","timestamp":1725485543595},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_6","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:43:21Z","timestamp":1180651401000},"page":"81-96","source":"Crossref","is-referenced-by-count":4,"title":["Protocol Techniques for Testing Radiotherapy Accelerators"],"prefix":"10.1007","author":[{"given":"Kenneth J.","family":"Turner","sequence":"first","affiliation":[]},{"given":"Qian","family":"Bing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"6_CR1","unstructured":"M. Calder and C. E. Shankland. A symbolic semantics and bisimulation for full Lotos. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, Proc. Formal Techniques for Networked and Distributed Systems, pages 184\u2013200. Kluwer, London, UK, Sept. 2001."},{"key":"6_CR2","series-title":"Technical Report","volume-title":"Medical devices directive","author":"EC","year":"1993","unstructured":"EC. Medical devices directive. Technical Report 93\/42\/EEC, European Commission, Brussels, Belgium, June 1993."},{"key":"6_CR3","series-title":"Technical Report","volume-title":"Medical devices: Current good manufacturing practice","author":"FDA","year":"1996","unstructured":"FDA. Medical devices: Current good manufacturing practice. Technical Report 61 FD 195, US Food and Drug Administration, NewYork, USA, Oct. 1996."},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"CADP (C\u00c6SAR\/ALD\u00c9BARAN Development Package):A protocol validation and verification toolbox","author":"J.-C. Fern\u00e1ndez","year":"1996","unstructured":"J.-C. Fern\u00e1ndez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP (C\u00c6SAR\/ALD\u00c9BARAN Development Package):A protocol validation and verification toolbox. In R. Alur and T.A. Henzinger, editors, Proc. 8th. Conference on Computer-AidedVerification, LNCS 1102, pages 437\u2013440. Springer-Verlag, Berlin, Germany,Aug. 1996."},{"key":"6_CR5","volume-title":"Linear Accelerators for Radiation Therapy","author":"D. Greene","year":"1997","unstructured":"D. Greene and P. C. Williams. Linear Accelerators for Radiation Therapy. IOP Publishing Ltd., Bristol and Philadelphia, 1997."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"R. C. Ho, C. H. Yang, M. A. Horowitz, and D. L. Dill. Architecture validation for processors. In Proc. 22nd. Annual International Symposium on Computer Architecture, 1995.","DOI":"10.1145\/223982.224450"},{"key":"6_CR7","series-title":"IEC","volume-title":"Medical Electrical Equipment-Part 2: Particular Requirements for Safety","author":"IEC","year":"1988","unstructured":"IEC. Medical Electrical Equipment-Part 2: Particular Requirements for Safety. IEC 601-2. International Electrotechnical Commission, Geneva, Switzerland, 1988."},{"key":"6_CR8","series-title":"ISO\/IEC","volume-title":"Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour","author":"ISO\/IEC","year":"1989","unstructured":"ISO\/IEC. Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO\/IEC 8807. International Organization for Standardization, Geneva, Switzerland, 1989."},{"key":"6_CR9","series-title":"ISO\/IEC","volume-title":"Information Processing Systems-Open Systems Interconnection-Enhanced LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour","author":"ISO\/IEC","year":"2001","unstructured":"ISO\/IEC. Information Processing Systems-Open Systems Interconnection-Enhanced LOTOS-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO\/IEC 15437. International Organization for Standardization, Geneva, Switzerland, 2001."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Experience with Z developing a control program for a radiation therapy machine","author":"J. Jacky","year":"1996","unstructured":"J. Jacky, J. Unger, M. Patrick, D. Reid, and R. Risler. Experience with Z developing a control program for a radiation therapy machine. In J. P. Bowen, editor, Proc. 10th. International Conference of Z Users, LNCS. Springer-Verlag, Berlin, Germany, Dec. 1996."},{"key":"6_CR11","unstructured":"J. Jacobson and O. Andersen. Software controlled medical devices. Technical Report SPRapport 1997:11, European Network of Clubs for Reliability and Safety of Software, Apr. 1997. ISBN 91-7848-669-6."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Ji He and K. J. Turner. Protocol-inspired hardware testing. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Proc. Testing Communicating Systems XII, pages 131\u2013147. Kluwer, London, UK, Sept. 1999.","DOI":"10.1007\/978-0-387-35567-2_9"},{"key":"6_CR13","unstructured":"E. J. Joyce. Accelerator linked to fifth radiation overdose. American Medical News, 1, Feb. 1987."},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"1599","DOI":"10.1016\/0360-3016(87)90331-2","volume":"13","author":"C. J. Karzmark","year":"1987","unstructured":"C. J. Karzmark. Procedural and operator error aspects of radiation accidents in radiotherapy. International Journal of Radiation Oncology Biological Physics, 13:1599\u20131602, Jan. 1987.","journal-title":"International Journal of Radiation Oncology Biological Physics"},{"issue":"7","key":"6_CR15","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N. Leveson","year":"1993","unstructured":"N. Leveson and C. S. Turner. An investigation of the Therac-25 accidents. IEEE Computer, 26(7):18\u201341, July 1993.","journal-title":"IEEE Computer"},{"issue":"7","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1118\/1.597398","volume":"21","author":"R. Nath","year":"1994","unstructured":"R. Nath, P. J. Biggs, F. J. Bova, C. C. Ling, J. A. Purdy, J. van de Geijn, and M. S. Weinhous. AAPM code of practice for radiotherapy accelerators. Medical Physics, 21(7):1093\u20131121, July 1994.","journal-title":"Medical Physics"},{"key":"6_CR17","series-title":"Technical Report","volume-title":"Computing Science and Mathematics","author":"Q. Bing","year":"2002","unstructured":"Qian Bing and K. J. Turner. Input value constraints for radiotherapy accelerator specification. Technical Report CSM-161, Computing Science and Mathematics, University of Stirling, UK, Aug. 2002."},{"issue":"1","key":"6_CR18","first-page":"3","volume":"1","author":"M. H. Thomas","year":"1994","unstructured":"M. H. Thomas. The story of the Therac-25 in Lotos. High Integrity Systems Journal, 1(1):3\u201315, Feb. 1994.","journal-title":"High Integrity Systems Journal"},{"key":"6_CR19","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software Concepts and Tools, 17:103\u2013120, 1996.","journal-title":"Software Concepts and Tools"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T21:47:00Z","timestamp":1550353620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}