{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:04Z","timestamp":1725484264820},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437031"},{"type":"electronic","value":"9783540478843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47884-1_4","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T20:46:26Z","timestamp":1179607586000},"page":"49-68","source":"Crossref","is-referenced-by-count":4,"title":["From Implicit Specifications to Explicit Designs in Reactive System Development"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"D.","family":"Clark","sequence":"additional","affiliation":[]},{"given":"K.","family":"Androutsopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"2nd Conference on the B Method","author":"J. Abrial","year":"1998","unstructured":"J. Abrial, L. Mussat, Introducing Dynamic Constraints in B, 2nd Conference on the B Method, LNCS 1393, pp. 83\u2013128. Springer-Verlag, 1998."},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","volume-title":"ECOOP 97","author":"J. C. Bicarregui","year":"1997","unstructured":"J C Bicarregui, K C Lano, T S E Maibaum, Objects, Associations and Subsystems: a hierarchical approach to encapsulation, ECOOP 97, LNCS, 1997."},{"key":"4_CR3","unstructured":"J R Burch, E M Clarke, K L McMillan, D L Dill, J Hwang, Symbolic Model Checking: 1020 States and Beyond, Proceedings of the Fifth Annual Symposium on Logic in Computer Science, 1990."},{"key":"4_CR4","unstructured":"E. Clarke, W. Heinle, Modular Translation of Statecharts to SMV, CMU report, August 2000."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"E. Emerson, J. Halpern, \u2019sometimes\u2019 and \u2018Not never\u2019 revisited: On Branching versus Linear Time, 10th ACM Symposium on Principles of Programming Languages, ACM Press, 1983.","DOI":"10.1145\/567067.567081"},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019447","volume-title":"Foundations of Object Oriented languages","author":"J. Fiadeiro","year":"1991","unstructured":"J Fiadeiro and T Maibaum. Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991."},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0005-1098(82)90028-0","volume":"18","author":"S. Goldsack","year":"1982","unstructured":"S. Goldsack and J. Kramer, Invariants in the Application-oriented Specification of Control Systems, Automatica, Vol. 18, No. 2, pp. 71\u201376, 1982.","journal-title":"Automatica"},{"key":"4_CR8","unstructured":"International Electrotechnical Commission. IEC 61131: Programmable Controllers-Part 3: Programming Languages, Geneva, 1993."},{"key":"4_CR9","unstructured":"P. Ladkin, The A300 Crash in Nagoya, http:\/\/www.rvs.uni-bielefeld.de\/publications\/Incidents\/DOCS\/FBW.html ."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"K. Lano, The B Language and Method: A Guide to Practical Formal Development, Springer-Verlag, June 1996.","DOI":"10.1007\/978-1-4471-1494-9"},{"key":"4_CR11","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, LNCS, Springer-Verlag, 2000."},{"key":"4_CR12","unstructured":"K. Lano, K. Androutsopolous, Structuring Reactive System Specifications in B AMN, ICFEM 2000, IEEE Computer Society Press, 2000."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"K. Lano, D. Clark, K. Androutsopoulos, P. Kan, Invariant-based Synthesis of Fault-tolerant Systems, FTRTFT 2000.","DOI":"10.1007\/3-540-45352-0_6"},{"key":"4_CR14","volume-title":"Semantic Foundations of RSDS","author":"K. Lano","year":"2001","unstructured":"K. Lano, Semantic Foundations of RSDS, Department of Computer Science, King\u2019s College London, Strand, London WC2R 2LS, 2001."},{"key":"4_CR15","unstructured":"D. Lightfoot, Formal Specification Using Z, Palgrave, 2001."},{"key":"4_CR16","unstructured":"Rational Software et al, O MG Unified Modeling Language Specification Version 1.3, June 1999."},{"key":"4_CR17","unstructured":"H. Treharne, Combining Control Executives and Software Specifications, PhD Thesis, University of London, 2001."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47884-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T22:42:24Z","timestamp":1683844944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47884-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437031","9783540478843"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-47884-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}