author = "Greghi, Juliana Galvani and Martins, Eliane and Carvalho, Ariadne 
                         M. B. R. and Ambrosio, Ana Maria and Villani, Em{\'{\i}}lia",
          affiliation = "{Universidade Federal de Lavras (UFLA)} and {Universidade Estadual 
                         de Campinas (UNICAMP)} and {Universidade Estadual de Campinas 
                         (UNICAMP)} and {Instituto Nacional de Pesquisas Espaciais (INPE)} 
                         and {Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)}",
                title = "From natural language standard documents to state machines: 
                         advantages and drawbacks",
              journal = "Journal of Aerospace Information Systems",
                 year = "2018",
               volume = "15",
               number = "5",
                pages = "271--281",
                month = "May",
             abstract = "Problems in requirements documents are among the root cause of a 
                         number of accidents in space missions. A common approach toward 
                         the minimization of these problems is to transform the 
                         requirements into models that represent the system's behavior. 
                         However, this solution requires dealing with issues such as 
                         choosing the best modeling formalism, defining to what extent the 
                         transformation process should be automated, and assuring the 
                         quality of the requirements documents to be used as input. In 
                         space missions, requirements are frequently tailored from standard 
                         documents, such as the Packet Utilization Standard, which are 
                         composed of mandatory and optional requirements. This paper 
                         presents a semi-automatic method to transform standard 
                         requirements documents into extended finite state machines. To 
                         evaluate it, we apply the method to a set of requirements from the 
                         Packet Utilization Standard. We evaluate the method using some 
                         Packet Utilization Standard services. In light of the results, the 
                         paper discusses advantages and potential problems of each 
                  doi = "10.2514/1.I010525",
                  url = "http://dx.doi.org/10.2514/1.I010525",
                 issn = "2327-3097",
             language = "en",
           targetfile = "greghi_from.pdf",
        urlaccessdate = "05 dez. 2020"