{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:10:03Z","timestamp":1736104203602,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027292","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"242-274","source":"Crossref","is-referenced-by-count":4,"title":["Specifying reactive systems in B AMN"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J-R Abrial. The B Book: Deriving Programs from Meaning, Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"J Bowen and V Stavridou. Safety-critical systems, formal methods and standards, Software Engineering Journal, July 1993, pages 189\u2013209.","DOI":"10.1049\/sej.1993.0025"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"M Butler. Combining Action Systems and B AMN in the Design of Distributed Systems. Dept. of Electronics and Computer Science, University of Southampton, 1996.","DOI":"10.1007\/BFb0027291"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"E Durr and E Dusink. The role of VDM++ in the development of a real-time tracking and tracing system. In J Woodcock and P Larsen, editors, FME '93, Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0024638"},{"issue":"3","key":"13_CR5","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J Fiadeiro","year":"1992","unstructured":"J Fiadeiro and T Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification, Formal Aspects of Computing 4(3), pp. 239\u2013272, 1992","journal-title":"Formal Aspects of Computing"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"J Fiadeiro and T Maibaum. Interconnecting formalisms: supporting modularity, reuse and incrementality, in Proc. 3rd Symposium on the Foundations of Software Engineering, ACM Press, 1996.","DOI":"10.1145\/222124.222141"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"C Fidge. Proof Obligations for Real-Time Refinement, Proceedings of 6th Refinement Workshop, Springer-Verlag Workshops in Computing, 1994.","DOI":"10.1007\/978-1-4471-3240-0_15"},{"issue":"5","key":"13_CR8","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D Harel","year":"1988","unstructured":"D Harel. On Visual Formalisms, Communications of the ACM 31(5), pp. 514\u2013530, May 1988.","journal-title":"Communications of the ACM"},{"key":"13_CR9","volume-title":"Springer-Verlag Workshops in Computing","author":"H Haughton","year":"1994","unstructured":"H Haughton and K Lano. Testing and Safety analysis of AM specifications, in Proceedings of the 6th Refinement Workshop, City University, London. Springer-Verlag Workshops in Computing, 1994."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"I Hayes and M Utting. Coercing Real-time Refinement: A Transmitter, Northern Formal Methods Workshop, Ilkley, 1996. To appear in Springer-Verlag EWICS, 1997.","DOI":"10.14236\/ewic\/FA1996.9"},{"key":"13_CR11","unstructured":"J Hoare. The Use of B in CICS, in Applications of Formal Methods, M G Hinchey and J P Bowen (Eds.), Prentice Hall, 1995."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"K Lano. The B Language and Method: A Guide to Practical Formal Development, FACIT Series, Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4471-1494-9"},{"key":"13_CR13","volume-title":"3rd Theory and Formal Methods Workshop","author":"K Lano","year":"1996","unstructured":"K Lano, J Fiadeiro and J Dick. Extending B AMN with Concurrency, 3rd Theory and Formal Methods Workshop, Oxford. Imperial College Press, 1996."},{"key":"13_CR14","unstructured":"K Lano, J Bicarregui and A Sanchez. Using B to Design and Verify Controllers for Chemical Processing, Conference on B, IRIN, Nantes, 1996."},{"key":"13_CR15","unstructured":"K Lano, J Bicarregui and S Kent. A Real-time Action Logic of Objects, ECOOP 96 Workshop on Proof Theory of Object-oriented Systems, Linz, Austria, 1996."},{"key":"13_CR16","unstructured":"K Lano and S Goldsack. Refinement Rules for Concurrency and Real-time, MEDI-CIS Workshop, April 1996."},{"key":"13_CR17","unstructured":"K Lano and A Sanchez. Specification of a Chemical Process Controller in VDM ++ and B, ROOS project document GR\/K68783-11, Dept. of Computing, Imperial College, November 1996."},{"key":"13_CR18","series-title":"LNCS 891","volume-title":"Formal development of reactive systems: case study production cell","year":"1995","unstructured":"C Lewerentz and T Lindner (Eds.). Formal development of reactive systems: case study production cell, Berlin: Springer-Verlag, LNCS 891, 1995."},{"issue":"1","key":"13_CR19","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/aic.690380107","volume":"38","author":"I Moon","year":"1992","unstructured":"I Moon, G Powers, J R Burch and E M Clarke. Automatic Verification of Sequential Control Systems using Temporal Logic, AIChE Journal, 38(1):67\u201375, January 1992.","journal-title":"AIChE Journal"},{"key":"13_CR20","unstructured":"A Pnueli. Linear and Branching Structures in the Semantics and Logics of Reactive Systems, ICALP 85, Springer-Verlag LNCS Vol. 194, 1985."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"A Sanchez and S Macchietto. Design of Procedural Controllers for Chemical Processes, ESCAPES Conference, June 1995, Slovenia.","DOI":"10.1016\/0098-1354(95)87066-0"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"A Sanchez, G E Rotstein, N Alsop and S Macchietto. Procedural Control of Chemical Processes, Chemical Process Control Conference, 1996.","DOI":"10.1049\/cp:19960640"},{"key":"13_CR23","volume-title":"PhD thesis","author":"J Snepscheunt van de","year":"1983","unstructured":"J van de Snepscheunt. Trace Theory and VSLI Design, PhD thesis, Technische Logeschool Eindhoven, Eindhoven, The Netherlands, 1983."}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:55:48Z","timestamp":1736103348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0027292","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}