{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:22Z","timestamp":1725539722419},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_4","type":"book-chapter","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T02:24:55Z","timestamp":1347848695000},"page":"19-34","source":"Crossref","is-referenced-by-count":1,"title":["An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting"],"prefix":"10.1007","author":[{"given":"Haniel","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"David","family":"D\u00e9harbe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"IEC (2003): IEC 61131-3 - Programmable controllers. International Electrotechnical Comission Standards (2003)"},{"key":"4_CR2","unstructured":"Kron, H.: On the evaluation of risk acceptance principles. In: 19th Dresden Conference on Traffic and Transportation Science (2003)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Amey, P.: Dear sir, yours faithfully: an everyday story of formality. IN Proc. 12th Safety-Critical Systems Symposium, p. 318 (2004)","DOI":"10.1007\/978-0-85729-408-1_1"},{"key":"4_CR4","unstructured":"Parnas, D.: Really rethinking \u2018formal methods\u2019. Computer (January 2010), http:\/\/portal.acm.org\/citation.cfm?id=1724964.1724987"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ljungkrantz, O., \u00c5kesson, K., Fabian, M., Yuan, C.: A Formal Specification language for PLC-based Control Logic. In: Proc. of 8th IEEE International Conference on Industrial Informatics, pp. 1067\u20131072 (2010)","DOI":"10.1109\/INDIN.2010.5549591"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Soliman, D., Frey, G.: Verification and Validation of Safety Applications based on PLcopen Safety Function Blocks using Timed Automata in Uppaal. In: Proceedings of the Second IDAC Workshop on Dependable Control of Discrete Systems (DCDS), pp. 39\u201344 (2009)","DOI":"10.3182\/20090610-3-IT-4004.00011"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Farines, J., de Queiroz, M.H., da Rocha, V.G., Carpes, A.A.M., Vernadat, F., Cr\u00e9gut, X.: A model-driven engineering approach to formal verification of PLC programs. In: IEEE EFTA (2011)","DOI":"10.1109\/ETFA.2011.6058983"},{"key":"4_CR8","volume-title":"The B-book: assigning programs to meanings","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, Cambridge (2005)"},{"key":"4_CR9","unstructured":"PLCopen : XML Formats for IEC 61131-3. PLCopen Technical Committee, 6 (2009)"},{"key":"4_CR10","unstructured":"Barbosa, H., D\u00e9harbe, D.: Towards formal verification of PLC programs. In: 14th Brazilian Symposium on Formal Methods: Short Papers, S\u00e3o Paulo- SP (2011)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-30885-7_30","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"H. Barbosa","year":"2012","unstructured":"Barbosa, H., D\u00e9harbe, D.: Formal Verification of PLC Programs Using the B Method. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol.\u00a07316, pp. 353\u2013356. Springer, Heidelberg (2012)"},{"key":"4_CR12","unstructured":"Lecomte, T., Servat, T., Pouzancre, G.: Formal methods in safety-critical railway systems. In: Proc. Brazilian Symposium on Formal Methods: SMBF (January 2007)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Formal methods in industry: achievements, problems, future. In: Proceedings of the 28th International Conference on Software Engineering, pp. 761\u2013768 (2006)","DOI":"10.1145\/1134285.1134406"},{"key":"4_CR14","unstructured":"Cabral, G., Sampaio, A.: Formal Specification Generation from Requirement Documents. In: SBMF (2006)"},{"key":"4_CR15","unstructured":"Ladenberger, L., Jastram, M.: Requirements Traceability between Textual Requirements and Formal Models Using ProR"},{"key":"4_CR16","unstructured":"Barbosa, H.: Desenvolvendo um sistema cr\u00edtico atrav\u00e9s de formaliza\u00e7\u00e3o de requisitos utilizando o m\u00e9todo B. B.Sc. Thesis, UFRN, DIMAp, Natal, Brazil (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:11:56Z","timestamp":1606187516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}