{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:07:40Z","timestamp":1729649260599,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/indin.2014.6945516","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T22:52:14Z","timestamp":1415832734000},"page":"248-254","source":"Crossref","is-referenced-by-count":3,"title":["Checking models based on an iterative co-specification process of a critical system"],"prefix":"10.1109","author":[{"given":"Fabien","family":"Bouffaron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascale","family":"Marange","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Morel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2013.810345"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"17"},{"key":"23","article-title":"Unifying human centered design and systems engineering for human systems integration","author":"boy","year":"2013","journal-title":"Complex Systems Design & Management CSD&M 2013"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.3384\/ecp1409627"},{"key":"16","first-page":"24","article-title":"People in control","volume":"31","author":"cassandras","year":"2011","journal-title":"IEEE Control Systems Magazine"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076173"},{"journal-title":"Problem Frames Analysing and Structuring Software Development Problems","year":"2001","author":"jackson","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-006-0032-x"},{"key":"21","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/3-540-36103-0_45","article-title":"Slicing hierarchical automata for model checking UML statecharts","author":"ji","year":"2002","journal-title":"Formal Methods and Software Engineering"},{"key":"3","article-title":"Revisiting the interoperation relationships between Systems Engineering collaborative processes","author":"bouffaron","year":"2012","journal-title":"Presented at the INCOM 2012 14th IFAC Symposium on Information Control Problems in Manufacturing"},{"key":"20","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","article-title":"Model checking timed UML state machines and collaborations","author":"knapp","year":"2002","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25203-7_10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420038194"},{"key":"10","article-title":"Improving human-system digital interaction for industrial system control: Some systems engineering issues","author":"dobre","year":"2010","journal-title":"10th IFAC Workshop on Intelligent Manufacturing Systems IMS'10"},{"journal-title":"Accidents Nucl\ufffdaires Three Mile Island (Etats-Unis)","year":"2004","author":"duco","key":"7"},{"key":"6","article-title":"Precursors to potential severe core damage accidents: 1998, A status report","volume":"4674","author":"belles","year":"1998","journal-title":"NUREG\/CR"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.2172\/6990556","author":"casada","year":"1990","journal-title":"Auxiliary Feedwater System Aging Study"},{"key":"4","article-title":"Integrative construct for Model-Based Human-System Integration: A case study","author":"bouffaron","year":"2014","journal-title":"Proc IFAC the World Congress 2014"},{"key":"9","article-title":"Collection : Engineering and Architecing multidisicplinary systems","author":"faisandier","year":"2012","journal-title":"Sinergy'Com"},{"journal-title":"Guide to the Systems Engineering Body of Knowledge (SEBoK) Version 1 0 1","year":"2012","author":"pyster","key":"8"}],"event":{"name":"2014 12th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2014,7,27]]},"location":"Porto Alegre RS, Brazil","end":{"date-parts":[[2014,7,30]]}},"container-title":["2014 12th IEEE International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926648\/6945470\/06945516.pdf?arnumber=6945516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T02:58:39Z","timestamp":1689649119000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6945516\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/indin.2014.6945516","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}