{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T12:51:22Z","timestamp":1773838282539,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,9,17]],"date-time":"2016-09-17T00:00:00Z","timestamp":1474070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61403009"],"award-info":[{"award-number":["61403009"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Project of Ministry of Industry and Information Technology of China","award":["JSZL2014601B004"],"award-info":[{"award-number":["JSZL2014601B004"]}]},{"name":"National Natural Science Foundation of China and Civil Aviation Administration of China","award":["U1533201"],"award-info":[{"award-number":["U1533201"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cogn Tech Work"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s10111-016-0391-1","type":"journal-article","created":{"date-parts":[[2016,9,17]],"date-time":"2016-09-17T14:18:26Z","timestamp":1474121906000},"page":"777-791","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging"],"prefix":"10.1007","volume":"18","author":[{"given":"Zixia","family":"Zheng","sequence":"first","affiliation":[]},{"given":"Jin","family":"Tian","sequence":"additional","affiliation":[]},{"given":"Tingdi","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,17]]},"reference":[{"issue":"4","key":"391_CR1","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1016\/j.aap.2009.03.013","volume":"41","author":"SJ Alper","year":"2009","unstructured":"Alper SJ, Karsh BT (2009) A systematic review of safety violations in industry. Accid Anal Prev 41(4):739\u2013754","journal-title":"Accid Anal Prev"},{"issue":"6","key":"391_CR2","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/291252.288305","volume":"23","author":"R Alur","year":"1998","unstructured":"Alur R (1998) Model checking of hierarchical state machines. Acm Sigsoft Softw Eng Notes 23(6):273\u2013303","journal-title":"Acm Sigsoft Softw Eng Notes"},{"key":"391_CR3","doi-asserted-by":"crossref","unstructured":"Armando A, Compagna L (2004) SATMC: a SAT-based model checker for security protocols. In: Proceedings of the logics in artificial intelligence, European Conference, Lisbon, Portugal, 27\u201330 September 2004","DOI":"10.1007\/978-3-540-30227-8_68"},{"issue":"232","key":"391_CR5","first-page":"243","volume":"1066","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson J, Larsen KG, Larsson F, Pettersson P, Wang Y (1996) UPPAAL: a tool suite for the automatic veri cation of real-time systems. Lect Notes Comput Sci 1066:232\u2013243","journal-title":"Lect Notes Comput Sci"},{"issue":"11","key":"391_CR6","doi-asserted-by":"crossref","first-page":"1482","DOI":"10.1016\/j.ress.2011.05.009","volume":"96","author":"PVRD Carvalho","year":"2011","unstructured":"Carvalho PVRD (2011) The use of functional resonance analysis method (FRAM) in a mid-air collision to understand some characteristics of the air traffic management system resilience. Reliab Eng Syst Saf 96(11):1482\u20131498","journal-title":"Reliab Eng Syst Saf"},{"key":"391_CR7","doi-asserted-by":"crossref","unstructured":"Chen C, Zeng F, Lu M (2015) A verification method for software safety requirement by combining model checking and FTA. In: Proceedings of the 2015 international industrial informatics and computer engineering conference, Xian, Shannxi, China","DOI":"10.2991\/iiicec-15.2015.301"},{"key":"391_CR8","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"International conference on computer aided verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) Nusmv 2: an opensource tool for symbolic model checking. International conference on computer aided verification. Springer, Berlin, Heidelberg, pp 359\u2013364"},{"issue":"4","key":"391_CR9","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke EM, Wing JM (1996) Formal methods: state of the art and future directions. ACM Comput Surv 28(4):626\u2013643","journal-title":"ACM Comput Surv"},{"issue":"1","key":"391_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/s13012-015-0317-y","volume":"10","author":"R Clay-Williams","year":"2015","unstructured":"Clay-Williams R, Hounsgaard J, Hollnagel E (2015) Where the rubber meets the road: using FRAM to align work-as-imagined with work-as-done when implementing clinical guidelines. Implement Sci 10(1):1\u20138","journal-title":"Implement Sci"},{"key":"391_CR12","unstructured":"Dadkhah SM, Golbabaei F, Malakootikhah J, Mohamadfam I (2012) Appropriateness criteria for choosing proper risk assessment model of nanomaterial manufacturing processes. Asian J Chem 24(8):3719-23(8):3719\u20133723"},{"issue":"13","key":"391_CR13","doi-asserted-by":"crossref","first-page":"3661","DOI":"10.1080\/00207543.2012.671588","volume":"50","author":"A Hajji","year":"2010","unstructured":"Hajji A, Gharbi A, Pellerin R (2010) Joint production control and product quality decision making in a failure prone multiple-product manufacturing system. Int J Prod Res 50(13):3661\u20133672","journal-title":"Int J Prod Res"},{"issue":"12","key":"391_CR14","doi-asserted-by":"crossref","first-page":"1269","DOI":"10.1016\/j.ress.2010.06.003","volume":"95","author":"IA Herrera","year":"2010","unstructured":"Herrera IA, Woltjer R (2010) Comparing a multi-linear (STEP) and systemic (FRAM) method for accident analysis. Reliab Eng Syst Saf 95(12):1269\u20131275","journal-title":"Reliab Eng Syst Saf"},{"key":"391_CR15","unstructured":"Hill R (2014) FRAM Model Visualiser, version 0.3.2. http:\/\/www.functionalresonance.com\/onewebmedia\/FMV_instructions_0.3.2.pdf"},{"key":"391_CR16","volume-title":"FRAM: the functional resonance analysis method","author":"E Hollnagel","year":"2012","unstructured":"Hollnagel E (2012a) FRAM: the functional resonance analysis method. Ashgate, Farnham"},{"issue":"3","key":"391_CR17","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10111-011-0202-7","volume":"14","author":"E Hollnagel","year":"2012","unstructured":"Hollnagel E (2012b) Coping with complexity: past, present and future. Cogn Technol Work 14(3):199\u2013205","journal-title":"Cogn Technol Work"},{"issue":"5","key":"391_CR18","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann GJ (1997) The model checker SPIN. IEEE Trans Softw Eng 23(5):279\u2013295","journal-title":"IEEE Trans Softw Eng"},{"key":"391_CR19","volume-title":"Spin model checker, the: primer and reference manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann G (2003) Spin model checker, the: primer and reference manual. Addison-Wesley Professional, Boston"},{"issue":"1\u20133","key":"391_CR20","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/S0924-0136(03)00542-9","volume":"139","author":"KG Johnson","year":"2003","unstructured":"Johnson KG, Khan MK (2003) A study into the use of the process failure mode and effects analysis (PFMEA) in the automotive industry in the UK. J Mater Process Technol 139(1\u20133):348\u2013356","journal-title":"J Mater Process Technol"},{"key":"391_CR21","volume-title":"Computing shortest violation traces in model checking based on petri net unfoldings and SAT","author":"V Khomenko","year":"2004","unstructured":"Khomenko V (2004) Computing shortest violation traces in model checking based on petri net unfoldings and SAT. The University of Newcastle upon Tyne, Newcastle upon Tyne"},{"issue":"1","key":"391_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.jsr.2004.11.004","volume":"36","author":"D Laurence","year":"2005","unstructured":"Laurence D (2005) Safety rules and regulations on mine sites-the problem and a solution. J Saf Res 36(1):39\u201350","journal-title":"J Saf Res"},{"key":"391_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8179.001.0001","volume-title":"Engineering a safer world: systems thinking applied to safety","author":"N Leveson","year":"2012","unstructured":"Leveson N (2012) Engineering a safer world: systems thinking applied to safety. MIT Press, Cambridge"},{"key":"391_CR25","doi-asserted-by":"crossref","unstructured":"Ma S, Gong G, Han L, Song X (2008) Military task programming based on finite state machine (FSM) decision-making model. In: Proceedings of the Asia simulation conference-international conference on system simulation and scientific computing 1416\u20131420, Beijing, China","DOI":"10.1109\/ASC-ICSC.2008.4675596"},{"issue":"84","key":"391_CR26","first-page":"1215","volume":"84","author":"GW Mccarthy","year":"2013","unstructured":"Mccarthy GW (2013) FRAM: the functional resonance analysis method, modeling complex socio-technical systems. Aviat Space Environ Med 84(84):1215","journal-title":"Aviat Space Environ Med"},{"issue":"3","key":"391_CR27","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.jmsy.2011.06.001","volume":"30","author":"WL Mikos","year":"2011","unstructured":"Mikos WL, Ferreira JCE, Botura PEA, Freitas LS (2011) A system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology. J Manuf Syst 30(3):133\u2013143","journal-title":"J Manuf Syst"},{"key":"391_CR28","unstructured":"Ministry of Aerospace Industry of the PRC (1992) HB 6623.1-29, The method for measuring the transition temperature \u03b2 of titanium alloy: Differential Thermal Analysis. Beijing: Ministry of Aerospace Industry Standard Issue Department, China"},{"issue":"11","key":"391_CR29","doi-asserted-by":"crossref","first-page":"3443","DOI":"10.1080\/00207543.2013.774494","volume":"51","author":"H Rivera-G\u00f3mez","year":"2013","unstructured":"Rivera-G\u00f3mez H, Gharbi A, Kenn\u00e9 JP (2013) Production and quality control policies for deteriorating manufacturing system. Int J Prod Res 51(11):3443\u20133462","journal-title":"Int J Prod Res"},{"issue":"4","key":"391_CR30","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/s10111-015-0337-z","volume":"17","author":"LV Rosa","year":"2015","unstructured":"Rosa LV, Haddad AN (2015) Assessing risk in sustainable construction using the Functional Resonance Analysis Method (FRAM). Cogn Technol Work 17(4):559\u2013573","journal-title":"Cogn Technol Work"},{"key":"391_CR31","volume-title":"Towards effective model checking","author":"TC Ruijs","year":"2001","unstructured":"Ruijs TC (2001) Towards effective model checking. Universiteit Twente, Enschede"},{"key":"391_CR32","volume-title":"Understanding human error in mine safety","author":"G Simpson","year":"2009","unstructured":"Simpson G, Horberry T, Joy J (2009) Understanding human error in mine safety. Ashgate, Farnham"},{"key":"391_CR11","unstructured":"The Commission of Science, Technology and Industry for National Defense (COSTIND) of the PRC (2008) GJB 494A-2008, Specification for titanium alloy bars for aeroengine compressor blade. Beijing: COSTIND Military Standard Issue Department, China"},{"key":"391_CR33","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.ssci.2016.01.002","volume":"85","author":"J Tian","year":"2016","unstructured":"Tian J, Wu J, Yang Q, Zhao T (2016) FRAMA: a safety assessment approach based on Functional Resonance Analysis Method. Saf Sci 85:41\u201352","journal-title":"Saf Sci"},{"issue":"9","key":"391_CR34","doi-asserted-by":"crossref","first-page":"2291","DOI":"10.1016\/S0098-1354(00)00573-1","volume":"24","author":"V Venkatasubramanian","year":"2000","unstructured":"Venkatasubramanian V, Zhao J, Viswanathan S (2000) Intelligent systems for HAZOP analysis of complex process plants. Comput Chem Eng 24(9):2291\u20132302","journal-title":"Comput Chem Eng"},{"issue":"9","key":"391_CR35","first-page":"1265","volume":"15","author":"JY Xin","year":"2004","unstructured":"Xin JY, Lin C, Yang QU (2004) Research on model-checking based on petri nets. J Softw 15(9):1265\u20131276","journal-title":"J Softw"},{"issue":"4","key":"391_CR36","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1002\/stvr.440","volume":"22","author":"D Xu","year":"2010","unstructured":"Xu D, El-Ariss O, Xu W (2010) Testing aspect-oriented programs with finite state machines. Softw Test Verif Reliab 22(4):267\u2013293","journal-title":"Softw Test Verif Reliab"},{"key":"391_CR37","doi-asserted-by":"crossref","DOI":"10.1109\/TASE.2008.23","volume-title":"Improving encoding efficiency for bounded model checking","author":"J Yang","year":"2008","unstructured":"Yang J, Su K, Chen Q (2008) Improving encoding efficiency for bounded model checking. IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering, Washington"}],"container-title":["Cognition, Technology & Work"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10111-016-0391-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10111-016-0391-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10111-016-0391-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T19:42:01Z","timestamp":1749584521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10111-016-0391-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,17]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["391"],"URL":"https:\/\/doi.org\/10.1007\/s10111-016-0391-1","relation":{},"ISSN":["1435-5558","1435-5566"],"issn-type":[{"value":"1435-5558","type":"print"},{"value":"1435-5566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,17]]}}}