{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:05:23Z","timestamp":1649153123906},"reference-count":16,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"5","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.2514\/1.i010525","type":"journal-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T06:47:22Z","timestamp":1522651642000},"page":"271-281","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":1,"title":["From Natural Language Standard Documents to State Machines: Advantages and Drawbacks"],"prefix":"10.2514","volume":"15","author":[{"given":"Juliana Galvani","family":"Greghi","sequence":"first","affiliation":[{"name":"University of Lavras, CEP 37200-000 Lavras, Minas Gerais, Brazil"}]},{"given":"Eliane","family":"Martins","sequence":"additional","affiliation":[{"name":"University of Campinas, CEP 13083-852 Campinas, S\u00e3o Paulo, Brazil"}]},{"given":"Ariadne M. B. R.","family":"Carvalho","sequence":"additional","affiliation":[{"name":"University of Campinas, CEP 13083-852 Campinas, S\u00e3o Paulo, Brazil"}]},{"given":"Ana Maria","family":"Ambrosio","sequence":"additional","affiliation":[{"name":"National Institute of Space Research, CEP 12227-010, S\u00e3o Jos\u00e9 dos Campos, S\u00e3o Paulo, Brazil"}]},{"given":"Em\u00edlia","family":"Villani","sequence":"additional","affiliation":[{"name":"Aeronautics Institute of Technology, CEP 12228-900, S\u00e3o Jos\u00e9 dos Campos, S\u00e3o Paulo, Brazil"}]}],"member":"1387","reference":[{"key":"r3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_26"},{"key":"r5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02050-6_17"},{"key":"r6","unstructured":"ECSS Working Group for Ground Systems and Operations, \u201cSpace Engineering: Ground Systems and Operations. Telemetry and Telecommand Packet Utilization,\u201d Rept.\u00a0ECSS-E-70-41A, ESA Publications Division, 2003."},{"key":"r7","unstructured":"PontesR. \u201cContribui\u00e7\u00f5es do Model Checking e da Metodologia CoFI para o Software Embarcado Espacial,\u201d Master\u2019s Thesis, Aeronautics Inst. of Technology, S\u00e3o Jos\u00e9 dos Campos, Brazil, 2011."},{"key":"r8","unstructured":"V\u00e9rasP. \u201cBenchmarking Software Requirements for Space Applications Documentation,\u201d Ph.D. Thesis, Aeronautics Inst. of Technology, S\u00e3o Jos\u00e9 dos Campos, Brazil, 2011."},{"key":"r9","unstructured":"AmbrosioA. M. \u201cCoFI: Uma Abordagem Combinando Teste de Conformidade e Inje\u00e7\u00e3o de Falhas para Valida\u00e7\u00e3o de Software em Aplica\u00e7\u00f5es Espaciais,\u201d Ph.D. Thesis, National Space Research Inst., S\u00e3o Jos\u00e9 dos Campos, Brazil, 2005."},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9215-y"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0465-8_2"},{"key":"r16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_46"},{"key":"r17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_12"},{"key":"r18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_37"},{"key":"r19","doi-asserted-by":"publisher","DOI":"10.1145\/2699697"},{"key":"r22","unstructured":"KangK.CohenS.HessJ.NovakW.PetersonA. \u201cFeature-Oriented Domain Analysis (FODA) Feasibility Study,\u201d Tech. Rept. CMU\/SEI-90-TR-021, Software Engineering Inst., Carnegie Mellon Univ., Pittsburgh, PA, 1990."},{"key":"r23","volume-title":"Foundations of Statistical Natural Language Processing","author":"Manning C. D.","year":"1999"},{"key":"r26","unstructured":"GreghiJ. \u201cGera\u00e7\u00e3o Semiautom\u00e1tica de M\u00e1quinas Finitas de Estados Estendidas a Partir de Documento de Padroniza\u00e7\u00e3o em L\u00edngua Natural,\u201d Ph.D. Thesis, Inst. of Computing, Univ. of Campinas, Campinas, Brazil, 2015, http:\/\/repositorio.unicamp.br\/jspui\/handle\/REPOSIP\/275585."},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:34:11Z","timestamp":1614584051000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":16,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["10.2514\/1.I010525"],"URL":"https:\/\/doi.org\/10.2514\/1.i010525","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5]]},"assertion":[{"value":"2016-12-30","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-12-25","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-01-26","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}