{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T10:20:46Z","timestamp":1777371646942,"version":"3.51.4"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319052021","type":"print"},{"value":"9783319052038","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05203-8_18","type":"book-chapter","created":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T13:41:33Z","timestamp":1396446093000},"page":"125-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Development of Dependable Controllers in the Context of Machines Design"],"prefix":"10.1007","author":[{"given":"J.","family":"Machado","sequence":"first","affiliation":[]},{"given":"J. C.","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,3]]},"reference":[{"key":"18_CR1","unstructured":"ADEPA (1992) GEMMA\u2014ADEPA. France"},{"issue":"5","key":"18_CR2","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0165-6074(84)90040-1","volume":"13","author":"M Brusamolino","year":"1984","unstructured":"Brusamolino M, Reina L, Spalla MF (1984) An example of microprocessor\u2019s application in minicomputer systems: a copy volume design and implementation. Microprocessing Microprogramming 13(5):331\u2013339","journal-title":"Microprocessing Microprogramming"},{"issue":"3","key":"18_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"JC Campos","year":"2001","unstructured":"Campos JC, Harrison MD (2001) Model checking interactor specifications. Autom Softw Eng 8(3):275\u2013310","journal-title":"Autom Softw Eng"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/87.406973","volume":"3","author":"R David","year":"1995","unstructured":"David R (1995) Grafcet: a powerful tool for specification of logic controllers. IEEE Trans Control Syst Technol 3:253\u2013268","journal-title":"IEEE Trans Control Syst Technol"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Doherty GJ, Campos JC, Harrison MD (2008) Resources for situated action. Lecture notes in computer science, vol 5136. Springer, pp 194\u2013207","DOI":"10.1007\/978-3-540-70569-7_19"},{"key":"18_CR6","unstructured":"Frey G, Litz L (2000) Formal methods in PLC programming. In: Proceedings of the IEEE conference on systems, man and cybernetics (SMC 2000)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program North Holland 8:231\u2013274","journal-title":"Sci Comput Program North Holland"},{"key":"18_CR8","unstructured":"IEC (2002) IEC 60848\u2014GRAFCET specification language for sequential function charts. Edition 2.0 b"},{"issue":"11","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1016\/j.conengprac.2006.07.005","volume":"15","author":"TL Johnson","year":"2007","unstructured":"Johnson TL (2007) Improving automation software dependability: a role for formal methods? Control Eng Pract 15(11):1403\u20131415","journal-title":"Control Eng Pract"},{"key":"18_CR10","volume-title":"Safeware: system safety and computers","author":"NG Leveson","year":"1995","unstructured":"Leveson NG (1995) Safeware: system safety and computers. Addison-Wesley, Reading"},{"key":"18_CR11","unstructured":"Machado JM, Seabra E (2009) A systematized approach to obtain dependable controllers specifications. In: Proceedings of 20th international congress of mechanical engineering"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Machado J, Denis B, Lesage J-J, Faure J-M, Silva JFD (2006) Logic controllers dependability verification using a plant model. In: Proceedings of 3rd IFAC workshop on discrete-event system design (DESDes), pp 37\u201342","DOI":"10.3182\/20060926-3-PL-4904.00007"},{"key":"18_CR13","unstructured":"Machado J, Denis B, Lesage J-J (2006) A generic approach to build plant models for DES verification purposes. In: Proceedings of the 8th international workshop on discrete event systems (WODES\u201906), pp 407\u2013412"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Moon I (1994) Moddeling programmable logic controllers for logic verification. IEEE Control Syst Mag 53\u201359","DOI":"10.1109\/37.272781"},{"issue":"4","key":"18_CR15","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"18_CR16","unstructured":"Sohier C (1996) Pilotages des cellules adaptatives de production: apport des systemes multi-agents. PhD thesis, \u00c9cole Normale Sup\u00e9rieure de Cachan, Paris, France"}],"container-title":["Lecture Notes in Mechanical Engineering","Modern Methods of Construction Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05203-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T19:23:39Z","timestamp":1674501819000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05203-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319052021","9783319052038"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05203-8_18","relation":{},"ISSN":["2195-4356","2195-4364"],"issn-type":[{"value":"2195-4356","type":"print"},{"value":"2195-4364","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}