{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:10:24Z","timestamp":1736485824102,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644057"},{"type":"electronic","value":"9783540697695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053362","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T06:05:53Z","timestamp":1149660353000},"page":"198-209","source":"Crossref","is-referenced-by-count":4,"title":["Process control engineering: Contribution to a formal structuring framework with the B method"],"prefix":"10.1007","author":[{"given":"Jean -Fran\u00c7ois","family":"P\u00e9tin","sequence":"first","affiliation":[]},{"given":"G\u00e9rard","family":"Morel","sequence":"additional","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Lamboley","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,22]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J.R. Abrial. The B book \u2014 Assigning programs to meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"13_CR2","unstructured":"J.R. Abrial. Extending B without changing it (for developing distributed systems. In 1st International Conference on the B method, pages 169\u2013190, Nantes, France, November 1996."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"J.R. Abrial and L. Mussat. Specification and design of a transmission protocol by successive refinement using B. STERIA Meeting on Protocol, May 15 1997.","DOI":"10.1007\/978-3-642-60858-2_17"},{"issue":"9","key":"13_CR4","first-page":"1268","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. Another look at real time programming. Special session of the Proceedings of the IEEE, 79(9):1268\u20131336, September 1991. ISSN 0018-9219.","journal-title":"Special session of the Proceedings of the IEEE"},{"issue":"3","key":"13_CR5","first-page":"534","volume":"31","author":"E. Bierel","year":"1997","unstructured":"E. Bierel, O. Douchin, and P. Lhoste. Grafcet: from theory to implementation. European Journal of Automation, 31(3):534\u2013559, 1997. ISSN 0296-1598.","journal-title":"European Journal of Automation"},{"key":"13_CR6","unstructured":"E. Bonnabeau, E. Desalge, and A. Grumbach. Characterising emergence mechanism phenomena: a critical review. International Review of Systemic, Vol 9(3), 1995. ISSN 0980-1472, Dunod Publishing."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"M. Combacau and M. Courvoisier. A hierarchical and modular structure for F.M.S. control and monitoring. In First IEEE International Conference on A.I., Simulation and Planning in High Autonomy Systems, pages 80\u201388, Tucson (USA), March 26\u201327 1990.","DOI":"10.1109\/AIHAS.1990.93923"},{"key":"13_CR8","unstructured":"International Electrotechnical Commission. IEC 1131-3 on Programmable controllers, part 3: programming languages, 1993."},{"key":"13_CR9","unstructured":"P. Fa\u00c7on, R. Laleau, and P. Nguyen. D\u00e9rivations de sp\u00e9cifications formelles B \u00e0 partir de sp\u00e9cifications semi-formelles de syst\u00e8mes d'informations. In 1st B International Conference, pages 271\u2013290, Nantes (France), November 1996."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"J. Ferber and P. Carle. Actors and agents as reflective objects: a Mering IV perspective. IEEE Transactions on Systems, Man and Cybernetics, 21(6), 1991.","DOI":"10.1109\/21.135686"},{"key":"13_CR11","first-page":"11","volume-title":"The gap from scientific system approach down to industrial power plant control engineering","author":"D. Galara","year":"1997","unstructured":"D. Galara and J.P. Hennebicq. The gap from scientific system approach down to industrial power plant control engineering. In D. Dubois, editor, 1st International Conference on Computer Anticipating Systems (CASYS'97), Liege (Belgium), August 11\u201315 1997. CHAOS."},{"key":"13_CR12","unstructured":"D. Galara, F. Russo, G. Morel, and B. Iung. Update on the european state of the art of intelligent field-devices. In International Conference on Intelligent Systems in Process Engineering, pages 339\u2013342, Volume 2, Snow Mass (USA), 1996. AIChE symposium series."},{"key":"13_CR13","unstructured":"N. Hadj-Rabia and H. Habrias. Formal specification from NIAM model: a bottomup approach. In XI International Symposium on Computer and Information Sciences, Antalya (Turkey), November 6\u20138 1996."},{"key":"13_CR14","unstructured":"TC65\/WG6 International Electrotechnical Commission. Committee Draft for IEC 1499 on Function Blocks for Industrial Process Measurement and Control systems, Part 1: Architecture, May 1997."},{"key":"13_CR15","unstructured":"K. Lano, J. Bicarregui, P. Kan, and A. Sanchez. Using B to design and verify controllers for chemical processing. In 1st B International Conference, pages 237\u2013269, Nantes (France), November 1996."},{"key":"13_CR16","unstructured":"P. Lhoste and G. Morel. From discrete event behavioural modelling to intelligent actuation and measurement modelling. In ESPRIT Advanced Summer Institute (ASI) in Life Cycle Approaches to Production Systems, pages 75\u201383, Toulouse (France), June 1996."},{"key":"13_CR17","unstructured":"N. Lopez. Construction de la sp\u00e9cification formelle d'un syst\u00e8me complexe. In 1st B International Conference, pages 63\u2013119, Nantes (France), November 1996."},{"key":"13_CR18","unstructured":"F. Mayer, G. Morel, and P. Lhoste. Towards manufacturing engineering based on semi-formal systemic engineering. In 14th International congress on Cybernetic, Namur (Belgium), August 21\u201325 1995."},{"key":"13_CR19","unstructured":"R. Mhrailaf and A.E.K. Sahraoui. A formal specification of manufacturing system: a case study on manufacturing cell with VDM method. In CESA '96 IMACS Multiconference, Lille (France), July 1996."},{"key":"13_CR20","unstructured":"D. M\u00e9ry. Machines abstraites temporelles:analyse comparative de B et TLA+. In 1st International Conference on the B method, pages 191\u2013220, Nantes (France), November 1996."},{"key":"13_CR21","first-page":"631","volume-title":"Validation of software components for intelligent actuation and measurement","author":"J.F. P\u00e9tin","year":"1996","unstructured":"J.F. P\u00e9tin, D. M\u00e9ry, H. Panetto, and B. Iung. Validation of software components for intelligent actuation and measurement. In Sixth International Symposium on Robotics And Manufacturing, ISRAM'96 in the second World Automation Congress, pages Volume 3, 631\u2013637, Montpellier, France, May 27\u201330 1996. TSI Press, ISBN 1-889335-00-2."},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"A.H. Wolfgang and B.J. Kramer. Achieving high integrity of process control software by graphical design and formal verification. Software Engineering Journal, pages 53\u201364, January 1992.","DOI":"10.1049\/sej.1992.0006"}],"container-title":["Lecture Notes in Computer Science","B\u201998: Recent Advances in the Development and Use of the B Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:15:55Z","timestamp":1736406955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644057","9783540697695"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0053362","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}