{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:01Z","timestamp":1725488161311},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_8","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:01:06Z","timestamp":1185919266000},"page":"97-111","source":"Crossref","is-referenced-by-count":3,"title":["Structuring and Design of Reactive Systems Using RSDS and B"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]},{"given":"K.","family":"Androutsopoulos","sequence":"additional","affiliation":[]},{"given":"D.","family":"Clark","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"J-R Abrial. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"8_CR2","unstructured":"K. Androutsopoulos. The Reactive System Design Tool, ROOS Project report, Department of Computing, Imperial College, 1999."},{"key":"8_CR3","unstructured":"D. Harel, A. Pnueli, J. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings of the first IEEE Symposium on Logic in Computer Science, pages 54\u201364, 1986."},{"key":"8_CR4","unstructured":"International Electrotechnical Commission, IEC 61508: Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems, 1999."},{"key":"8_CR5","unstructured":"International Society for Measurement and Control. Batch Control Models and Terminology, ISA-S88.01-1995, 1995."},{"key":"8_CR6","unstructured":"P. Kan, K. Lano, Reactive System Development in B, 1st YUFORIC Workshop, Brisbane, Australia, 1998."},{"key":"8_CR7","unstructured":"K. Lano, D. Clark. Demonstrating Preservation of Safety Properties in Reactive Control System Development, 4th Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Canberra, ACT, November 1999."},{"key":"8_CR8","unstructured":"K. Lano, J. Bicarregui, A. Sanchez, Invariant-based Synthesis and Composition of Control Algorithms using B, B User Group Meeting, Formal Methods\u2019 99."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"N. G. Leveson. Designing a Requirements Specification Language for Reactive Systems. Invited talk, Z User Meeting, 1998, Springer Verlag 1998.","DOI":"10.1007\/978-3-540-49676-2_10"},{"issue":"9","key":"8_CR10","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N. G. Leveson","year":"1995","unstructured":"N. G. Leveson, Mats P.E. Heimdahl, Holly Hildreeth, and Jon D. Reese. Requirements Specification for process-control systems. In IEEE Transactions on Software Engineering, volume 20, no. 9, pp. 684\u2013707. 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Proceedings of the Symposium on Theoretical Aspects of Computing Software","author":"A. Pnueli","year":"1991","unstructured":"A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In Proceedings of the Symposium on Theoretical Aspects of Computing Software, Lecture Notes in Computer Science, Volume 526, Springer-Verlag, Berlin, 1991, pp. 244\u2013264."},{"key":"8_CR12","unstructured":"A. Sanchez. Formal Specification and Synthesis of Procedural Controllers for Process Systems. Springer-Verlag. Lecture Notes in Control and Information Sciences, vol. 212. 1996"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T16:01:04Z","timestamp":1550419264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}