{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:15:04Z","timestamp":1778256904790,"version":"3.51.4"},"reference-count":20,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"12","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.2514\/1.i010950","type":"journal-article","created":{"date-parts":[[2021,11,5]],"date-time":"2021-11-05T12:46:27Z","timestamp":1636116387000},"page":"906-918","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":15,"title":["Checking SysML Models Against Safety and Security Properties"],"prefix":"10.2514","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1404-0148","authenticated-orcid":false,"given":"Pierre","family":"de Saqui-Sannes","sequence":"first","affiliation":[{"name":"ISAE-SUPAERO, University of Toulouse 31400 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[{"name":"LTCI, Telecom Paris, Polytechnic Institute of Paris 06410 Biot Sophia Antipolis, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Vingerhoeds","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, University of Toulouse 31400 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r1","doi-asserted-by":"publisher","DOI":"10.1109\/JMASS.2020.3013325"},{"key":"r6","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.10.064"},{"key":"r7","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21524"},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.34"},{"key":"r14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2892745"},{"key":"r15","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-018-0318-5"},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.4271\/2021-01-0260"},{"key":"r23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19751-2_6"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1145\/1044731.1044735"},{"key":"r30","unstructured":"\u201cARP4754A: Guidelines for Development of Civil Aircraft and Systems,\u201d SAE, 2010, https:\/\/www.sae.org\/standards\/content\/arp4754a\/"},{"key":"r31","doi-asserted-by":"publisher","DOI":"10.1016\/j.cja.2019.03.037"},{"key":"r35","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00735-y"},{"key":"r36","first-page":"361","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"G\u00e9rard S.","year":"2007"},{"key":"r43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16874-2_3"},{"key":"r44","volume-title":"INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities","year":"2015","edition":"4"},{"key":"r47","first-page":"34","volume-title":"Projects and People\u2014Mastering Success","author":"Brazier F.","year":"2018"},{"key":"r48","volume-title":"System Architecture: Strategy and Product Development for Complex Systems","author":"Crawley E.","year":"2015"},{"key":"r49","unstructured":"LugouF. \u201cApproaches for Analyzing Security Properties of Smart Objects,\u201d Thesis, Univ. C\u00f4te d\u2019Azur, France, Feb. 2018, https:\/\/tel.archives-ouvertes.fr\/tel-01791996."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,29]],"date-time":"2021-12-29T03:24:54Z","timestamp":1640748294000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":20,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["10.2514\/1.I010950"],"URL":"https:\/\/doi.org\/10.2514\/1.i010950","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"2021-01-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-05-20","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-22","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-11-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}