{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:37Z","timestamp":1725494677897},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_6","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"46-57","source":"Crossref","is-referenced-by-count":10,"title":["Invariant-Based Synthesis of Fault-Tolerant Systems"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"David","family":"Clark","sequence":"additional","affiliation":[]},{"given":"K.","family":"Androutsopoulos","sequence":"additional","affiliation":[]},{"given":"P.","family":"Kan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"6_CR1","unstructured":"M. Ali, B Specification of Steam Boiler, MSc thesis, Dept. of Computing, Imperial College, 1998."},{"key":"6_CR2","unstructured":"K. Androutsopoulos. The Reactive System Design Tool, ROOS Project report, Department of Computing, Imperial College, 1999."},{"key":"6_CR3","unstructured":"I. Hayes, A Survey of Data Refinement and Full Abstraction in VDM and Z, Dept. of Computer Science, University of Queensland, 1991."},{"key":"6_CR4","unstructured":"International Electrotechnical Commission, IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, 1999."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"K. Lano, J. Bicarregui, and A. Evans. Structured Axiomatic Semantics for UML Models, ROOM 2000 Proceedings, to appear in Electronic Workshops in Computer Science, Springer-Verlag, 2000.","DOI":"10.14236\/ewic\/ROOM2000.5"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","volume-title":"FASE 2000","author":"K. Lano","year":"2000","unstructured":"K. Lano, K. Androutsopoulos, D. Clark, Structuring and Design of Reactive Systems using RSDS and B, FASE 2000, to appear in LNCS, Springer-Verlag, 2000."},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"C. Lewerentz, T. Lindner (eds.), Formal Development of Reactive Systems, LNCS Vol. 891, Springer-Verlag, 1995."},{"key":"6_CR8","unstructured":"A. L\u00f6tzbeyer, R M\u00fchlfeld, Task Description of a Flexible Production Cell with Real Time Properties, FZI, Karlsruhe, 1996."},{"key":"6_CR9","unstructured":"F. Mejia, Formalising Existing Safety-Critical Software, FMERail Workshop No. 2, London, UK, 1998. http:\/\/www.ifad.dk\/Projects\/fmerail.htm ."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/BFb0053361","volume-title":"Graphical Design of Reactive Systems","author":"E. Sekerinski","year":"1998","unstructured":"E. Sekerinski. Graphical Design of Reactive Systems. 2nd International Conference on B, Lecture Notes in Computer Science, Springer Verlag, pages 182\u2013197, 1998."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"H. Treharne, S. Schneider, Using a Process Algebra to Control B Operations, IFM\u2019 99, Springer-Verlag, 1999.","DOI":"10.1007\/978-1-4471-0851-1_23"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T01:53:33Z","timestamp":1588038813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}